원전서지만 확인
Word problems requiring exponential time (Preliminary Report)Larry J. Stockmeyer, Albert R. Meyer · 1973STOC 1973 (Proceedings of the 5th Annual ACM Symposium on Theory of Computing), 1–9쪽양화된 불 식의 참·거짓 판정 같은 문제가 다항 공간에 대해 완전함을 다룬 논문으로 널리 인용된다. NP-완전성 바로 위 단계인 PSPACE-완전성의 출발점으로 꼽힌다. P 와 PSPACE 조차 갈라 놓지 못했다는 사실을 설명하면서 PSPACE-완전 문제의 출전을 적으려는 글에 맞다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).