Title: Reasoning with logic programming
First published: 1996
Subjects: Logic programming, Reasoning
LC classification: QA76.63 .A33 1996