원전서지만 확인
The equivalence problem for regular expressions with squaring requires exponential spaceAlbert R. Meyer, Larry J. Stockmeyer · 197213th Annual Symposium on Switching and Automata Theory (SWAT 1972), 125–129쪽제곱 연산이 있는 정규식의 동치 문제가 지수 공간을 요구함을 다룬 논문으로, 다항 위계가 처음 정의된 곳으로 널리 인용된다. NP 위에 양화사를 번갈아 쌓은 다항 위계는 「P = NP 이면 위계 전체가 P 로 무너진다」는 식으로 P 대 NP 의 귀결을 말할 때 쓰인다. 위계의 첫 출전을 밝혀 적으려는 글에 필요하다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).