Title: Logic programming '86
Subjects: Logic programming, Congresses