Guarded Horn Clauses (1987)

by K Ueda
Venue:In Concurrent Prolog: Collected Papers