The Automated Solution of Logic Puzzles. - Mark Valentine; Robert H. Davis (Inf. Process. Lett., 1987)