Taxonomic Reasoning with Cycles in LOGIDATA+

Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori. Taxonomic Reasoning with Cycles in LOGIDATA+. In Paolo Atzeni, editor, LOGIDATA+: Deductive Databases with Complex Objects. Volume 701 of Lecture Notes in Computer Science, pages 105-128, Springer, 1993.

Abstract

Abstract is missing.