1. Allen, J.F.: A General Theory of Action and Time. In: Artificial Intelligence, Vol.21, 1984, pp.121–154.
2. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Orlando: Academic Press, 1986.
3. Attardi, G. / Simi, M.: A Uniform and Integrated Description System. In: W. Brauer, W. Wahlster (eds): Wissensbasierte Systeme. 2. Internationaler GI-Kongreß. Berlin: Springer-Verlag, 1987, pp.12–21.
4. Baaz, M.: Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können. In: E. Buchberger, J. Retti (eds): 3. Österreichische ArtificialIntelligence-Tagung. Berlin: Springer-Verlag, 1987, pp.176–181.
5. Beckstein, C.: Zur Logik der Logik-Programmierung. Ein konstruktiver Ansatz. Berlin: Springer-Verlag, 1988.