Title: Advances in Logic Programming and Automated Reasoning
Subjects: Logic programming, Artificial intelligence