László Aszalós Automated Puzzle Solving. 99-116 2002 12 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl12.html#Aszalos02