In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, ISBN 9780745804095, Ellis Horwood, 1989.
In: Proceedings of the SPIE/IEEE Applications of Artificial Intelligence VII. IEEE - Applications of Artificial Intelligence, VII, March 28-30, Orlando, FL, USA, Pages 1126-1133, Vol. 7, No. 1-2, SPIE, 1989.