AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES. - Marinov, Milko (Proceedings of the International Conference on Systems for Automation of Engineering & Research, 2003)