@inproceedings{VLDB-1988-Lozinskii,
	author        = "Eliezer L. Lozinskii",
	booktitle     = "{Proceedings of the 14th International Conference on Very Large Data Bases}",
	ee            = "http://www.vldb.org/conf/1988/P273.PDF",
	isbn          = "0-934613-75-3",
	pages         = "273--279",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Computing Facts in Non-Horn Deductive Systems}",
	year          = 1988,
}