Browsing Proof Markup Language Provenance: Enhancing the Experience. - Nicholas Del Rio; Paulo Pinheiro da Silva; Hugo Porras (IPAW, 2010)