UNIDOOR: a Deductive Object-Oriented Database Management System.

Mohammed K. Jaber, Andrei Voronkov

Browse the full ICDE paper archive.