Abstracting Web Agent Proofs into Human-Level Justifications. - Vasco Furtado; Paulo Pinheiro da Silva; Deborah L. McGuinness; Priyendra Deshwal; Dhyanesh Narayanan; Juliana Carvalho; Vládia Pinheiro; Cynthia Chang (FLAIRS, 2007)