"A Hidden Herbrand Theorem."

Joseph A. Goguen, Grant Malcolm, Tom Kemp (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics