A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base

Erik Sandewall. A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. In IJCAI. pages 159-166, 1971.

Abstract

Abstract is missing.