Adrian Groza

• Modelling Puzzles in First Order Logic