Bernard Robinet. Knowledge Representation and Automated Reasoning. In Wilfried Brauer, Wolfgang Wahlster, editors, Wissensbasierte Systeme, 2. Internationaler GI-Kongress, München, 20./21. Oktober 1987, Proceedings. Volume 155 of Informatik-Fachberichte, pages 233-245, Springer, 1987.
Abstract is missing.