"The Implication and Finite Implication Problems for Typed Template ..."

Moshe Y. Vardi (1984)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics