@inproceedings{PPDP-2002-OvertonSS,
	author        = "David Overton and Zoltan Somogyi and Peter J. Stuckey",
	booktitle     = "{Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/571157.571169",
	pages         = "109--120",
	publisher     = "{ACM}",
	title         = "{Constraint-based mode analysis of mercury}",
	year          = 2002,
}