Title: Logic programming
First published: 1993
Subjects: Logic programming, Congresses
LC classification: QA76.6 .I5317 1993