Paes, A., 		Zaverucha, G., & 		Costa, V.
(2007).
 Revising First-Order Logical Theories from Examples Using Stochastic Local Search.
In <em>Proceedings of the 6th National Meeting on Artificial Intelligence</em>, (pp. 1252-1261). Porto Alegre: SBC.