Title: Logic programming
First published: 2003
Subjects: Logic programming, Congresses