Title: Proceedings
Subjects: Congresses, Logic programming