M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”,
Theoretical Computer Science, vol. 411, no. 47, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Semantic Verification of Web System Contents”,
ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.