1. Aszalós, L. (2001). Automated solution of the riddle of Dracula and other puzzles. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR’01) (pp. 1–10).
2. Baumgartner, P., Furbach, U., & Stolzenburg, F. (1995). Model elimination, logic programming and computing answers. In IJCAI (pp. 335–341).
3. Ciraulo, F., & Maschio, S. (2020). Solving knights-and-knaves with one equation. The College Mathematics Journal, 51(2), 82–89.
4. Smullyan, R. M. (2011). What is the name of this book? The riddle of Dracula and other logical puzzles. Dover Publications.