Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dto8t (Publisher version)
Nonnengart, A. (1994). How to Use Modalities and Sorts in Prolog. In C. MacNish, D. Pearce, & L. M. Pereira (Eds.), Logics in Artificial Intelligence: Proceedings of the JELIA'94 (pp. 365-378). Berlin, Germany: Springer.