@inproceedings{PODS-1995-LevyS,
	author        = "Alon Y. Levy and Yehoshua Sagiv",
	booktitle     = "{Proceedings of the 14th Symposium on Principles of Database Systems}",
	doi           = "10.1145/212433.220207",
	isbn          = "0-89791-730-8",
	pages         = "163--173",
	publisher     = "{ACM Press}",
	title         = "{Semantic Query Optimization in Datalog Programs}",
	year          = 1995,
}