A hidden Herbrand theorem: Combining the object, logic and functional paradigms (0)

by Joseph Goguen, Grant Malcolm, Tom Kemp
Venue:Principles of Declarative Programming