@article {94,
	title = {Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction},
	journal = {Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability},
	volume = {76},
	year = {2011},
	month = {December},
	pages = {1113{\~A}{\textcent}{\^a}{\quotesinglbase}{\textlnot}{\^a}{\texteuro}{\oe}1129},
	keywords = {logic meta programming},
	author = {Castro, Sergio and Coen De Roover and Kellens, Andy and Lozano, Angela and Kim, Mens and Theo D{\textquoteright}Hondt}
}
@conference {97,
	title = {Generation and composition of corrective actions to code design problems with Heal},
	booktitle = {Proceedings of the 9th Belgian-Netherlands Software Evolution Seminar (BENEVOL 2010)},
	year = {2010},
	author = {Castro, Sergio and Kellens, Andy and Coen De Roover and Kim Mens}
}
