Towards a Deductive Database for Elementary Algebra and Geometry.

Dennis S. Arnon Towards a Deductive Database for Elementary Algebra and Geometry. 0- 1990 Workshop on Deductive Databases db/conf/deductive/deductive90.html#Arnon90