Zsuzsa Márkusz

• Logic puzzles and logic programming