Guarded Horn Clauses (1987)

by K Ueda
Venue:in Concurrent Prolog: Collected Papers