@inproceedings{VLDB-1988-KrishnamurthyN,
	author        = "Ravi Krishnamurthy and Shamim A. Naqvi",
	booktitle     = "{Proceedings of the 14th International Conference on Very Large Data Bases}",
	ee            = "http://www.vldb.org/conf/1988/P252.PDF",
	isbn          = "0-934613-75-3",
	pages         = "252--263",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Towards a Real Horn Clause Language}",
	year          = 1988,
}