"Undecidability of the exists*forall* Part of the Theory of Ground Term ..."

Jerzy Marcinkowski (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics