@inproceedings{PPDP-2000-KollerM,
	author        = "Jörg Köller and Markus Mohnen",
	booktitle     = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/351268.351294",
	pages         = "226--234",
	title         = "{Efficient abstract interpretation using component-wise homomorphisms}",
	year          = 2000,
}