Zsuzsa Márkusz, Gábor Márkus: Logic puzzles and logic programming I (SZTAKI Tanulmányok 207/1988)

Next