Title: Logic for programming and automated reasoning
Subjects: Logic programming, Congresses, Automatic theorem proving