Title: Guarded Horn Clauses (Logic Programming Series)
Subjects: Logic programming