Introduction to Guarded Horn Clauses (1986)

by K Ueda
Venue:ICOT TR-209