Linhares, H., 		Pimentel, J., 		Kohwalter, T., & 		Murta, L.
(2019).
 Provenance-enhanced Algorithmic Debugging.
In <em>Proceedings of the 33th Brazilian Symposium on Software Engineering</em>. Porto Alegre: SBC.