A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms (1998)

by Joseph Goguen , Grant Malcolm , Tom Kemp
Venue:Principles of Declarative Programming
Citations:11 - 3 self