Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
https://www.ijcai.org/Proceedings/93-1/Papers/012.pdf (Publisher version)
Nonnengart, A. (1993). First‐order Modal Logic Theorem Proving and Functional Simulation. In R. Bajcsy (Ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence; Chambéry, France, August 28 - September 3, 1993 (pp. 80-85). San Mateo, CA: Morgan Kaufmann.