1. Boley , H. 1986 . RELFUN A Relational/Functional Integration with Valued Clauses . Report 153/86, Fachbereich Informatik , Universitaet Kaiserslautem , Federal Republic of Germany .
2. The Logic of Frames
3. Holzbaur , C. 1986 . Implementierung der Inferenzkomponente von VIE-KET , dem Vienna Knowledge Engineering Tool. Thesis, Institute for Medical Cybernetics and Artificial Intelligence , University of Vienna , Austria .