Dennis S. Arnon Towards a Deductive Database for Elementary Algebra and Geometry. [Citation Graph (1, 0)][DBLP] Workshop on Deductive Databases, 1990, pp:0-0 [Conf]
Yves Caseau Extending Object-Oriented Deduction Towards Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] Workshop on Deductive Databases, 1990, pp:0-0 [Conf]