@inproceedings{SAC-1994-ChangCG,
	author        = "Byeong-Mo Chang and Kwang-Moo Choe and Roberto Giacobazzi",
	booktitle     = "{Proceedings of the Ninth Symposium on Applied Computing}",
	doi           = "10.1145/326619.326788",
	pages         = "388--393",
	publisher     = "{ACM}",
	title         = "{Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation}",
	year          = 1994,
}