"First Order Logic as a Tool to Solve and Classify Problems."

Daniele Marini, Pierangelo Miglioli, Mario Ornaghi (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics