Paulo Pinheiro da Silva Deborah L. McGuinness Richard Fikes A proof markup language for Semantic Web services. 381-395 2006 31 Inf. Syst. 4-5 http://dx.doi.org/10.1016/j.is.2005.02.003 db/journals/is/is31.html#SilvaMF06