부분 결과서지만 확인
The Complexity of Relational Query Languages (Extended Abstract)Moshe Y. Vardi · 1982STOC 1982 (Proceedings of the 14th Annual ACM Symposium on Theory of Computing), 137–146쪽Immerman 과 독립적으로, 다항 시간에 판정되는 성질을 논리로 특징지은 결과가 실린 학회 논문이다. 1-1 의 「여러 얼굴」 글이 Immerman–Vardi 정리의 한쪽 원전으로 인용한다. ACM 디지털 도서관으로 연결된다.
확인:논문 본문은 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 같은 정리를 독립적으로 얻었다는 것은 Immerman 1986 의 서술로 확인.