위라우흐 격자의 방정식 이론을 연구하여 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구성된 용어 사이의 성립하는 방정식을 조합론적으로 특성화하고, 이러한 방정식의 보편적 타당성을 결정하는 문제가 다항식 계층의 3단계에 속함을 보였다.