@article {69,
	title = {A Logic Foundation for a General-Purpose History Querying Tool},
	journal = {Elsevier Journal on Science of Computer Programming},
	year = {2014},
	author = {Reinout Stevens and Coen De Roover and Carlos Noguera and Kellens, Andy and Viviane Jonckers}
}
