Title: Logic programming and nonmonotonic reasoning
First published: 1997
Subjects: Congresses, Logic programming, Nonmonotonic reasoning
LC classification: QA76.63 .L74 1997