Ulrich Furbach. Theory Reasoning in First Order Calculi. In Kai von Luck, Heinz Marburger, editors, Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings. Volume 777 of Lecture Notes in Computer Science, pages 139-156, Springer, 1994.
Abstract is missing.