@inproceedings{PODS-1996-BertinoC,
	author        = "Elisa Bertino and Barbara Catania",
	booktitle     = "{Proceedings of the 15th Symposium on Principles of Database Systems}",
	doi           = "10.1145/237661.237711",
	isbn          = "0-89791-781-2",
	pages         = "202--212",
	publisher     = "{ACM Press}",
	title         = "{Static Analysis of Intensional Databases in U-Datalog}",
	year          = 1996,
}