Title: ALPUK 92
Subjects: Congresses, Logic programming