@inproceedings{ICML-1998-McCluskeyW,
	author        = "T. L. McCluskey and Margaret Mary West",
	booktitle     = "{Proceedings of the 15th International Conference on Machine Learning}",
	isbn          = "1-55860-556-8",
	pages         = "368--376",
	publisher     = "{Morgan Kaufmann}",
	title         = "{A Case Study in the Use of Theory Revision in Requirements Validation}",
	year          = 1998,
}