Stephen G. Pimentel, John L. Cuadrado. A Horn Clause Theory of Inheritance and Temporal Reasoning. In João P. Martins, Ernesto M. Morgado, editors, EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Volume 390 of Lecture Notes in Computer Science, pages 63-72, Springer, 1989.
Abstract is missing.