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

Erik Sandewall

Browse the full IJCAI paper archive.