Marinov, M. (2003). AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES. Proceedings of the International Conference on Systems for Automation of Engineering & Research, 1.
Chicago Style (17th ed.) CitationMarinov, Milko. "AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES." Proceedings of the International Conference on Systems for Automation of Engineering & Research 2003: 1.
MLA (9th ed.) CitationMarinov, Milko. "AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES." Proceedings of the International Conference on Systems for Automation of Engineering & Research, 2003, p. 1.
Warning: These citations may not always be 100% accurate.
