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

Daniele Marini, Pierangelo Miglioli, Mario Ornaghi

Browse the full GI paper archive.