Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-246.pdf (Any fulltext), 100KB
Schmidt, R. A.(1992). Terminological representation, natural language & relation algebra (MPI-I-92-246). Saarbrücken: Max-Planck-Institut für Informatik.