20th International FLAIRS Conference (FLAIRS-20)
Furtado, V., Pinheiro da Silva, P., McGuinness, D.L., Deshwal, P., Narayanan, D., Carvalho, J., Pinheiro, V., and Chang, C. 2007. Abstracting Web Agent Proofs into Human-Level Justifications. In Proceedings of 20th International FLAIRS Conference (FLAIRS-20) (May 7-9 2007 7 05-0, Key West, Florida).