Vasco Furtado Paulo Pinheiro da Silva Deborah L. McGuinness Priyendra Deshwal Dhyanesh Narayanan Juliana Carvalho Vladia Pinheiro Cynthia Chang Abstracting Web Agent Proofs into Human-Level Justifications. 80-85 2007 conf/flairs/2007 FLAIRS Conference db/conf/flairs/flairs2007.html#FurtadoSMDNCPC07