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

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