Title: Logic for programming, artificial intelligence, and reasoning
First published: 2005
Subjects: Congresses, Logic programming, Artificial intelligence, Automatic theorem proving