Vardi, M. Y. (1997). Why is modal logic so robustly decidable?. In Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, January 14-17, 1996, No. 31 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.

149-184. American Math. Society.

Wang, H. (1963). Dominoes and the AEA case of the Decision Problem. Bell Syst. Tech.

J, 40, 1-41.

Woods, W. A., & Schmolze, J. G. (1992). The Kl-One family. Computers and Mathematics with Applications - Special Issue on Artificial Intelligence, 23 (2–5), 133–177.