Title: Extensions of logic programming
First published: 1996
Subjects: Logic programming, Congresses
LC classification: QA76.63 .E47 1996