Horn Clauses Queries and Generalization (0)

by A K Chandra
Venue:J Logic Programming