"Programs with Universally Quantified Embedded Implications."

Vyacheslav Petukhin (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics