Aszalós László: A method to solve the puzzles of knights and knaves : [abstract].