@article{GarcezEtAl2003,
	title = {Abductive Reasoning and Inductive Learning to Evolve Requirements
	Specifications},
	author = {A. Garcez and A. Russo and B. Nuseibeh and J. Kramer},
	journal = {IEE Proceedings - Software},
	month = {February},
	number = {1},
	pages = {25--38},
	volume = {150},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/28c9525e1aea80e080ad58bd96c4ad1d1/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}