@article{ pinheirodasilva2006:IS,
  author = {{Pinheiro Da Silva}, Paulo and McGuinness, Deborah L and Fikes, Richard},
  title = {{A Proof Markup Language for Semantic Web Services}},
  journal = {Information Systems},
  year = {2006},
  volume = {31},
  pages = {381--395},
  number = {4-5},
  file = {:C$\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva, McGuinness, Fikes - 2006 - A Proof Markup Language for Semantic Web Services.pdf:pdf},
  keywords = {#InferenceWeb,#PML,#interoperability,#justification,#use},
  mendeley-tags = {#InferenceWeb,#PML,#interoperability,#justification,#use}
}

{"_id":{"_str":"5218856caa2f288d1f000298"},"__v":3,"authorIDs":[],"author_short":["Pinheiro Da Silva, P.","McGuinness","L, D.","Fikes, R."],"bibbaseid":"pinheirodasilva-mcguinness-l-fikes-aproofmarkuplanguageforsemanticwebservices-2006","bibdata":{"author":["Pinheiro Da Silva, Paulo","McGuinness","L, Deborah","Fikes, Richard"],"author_short":["Pinheiro Da Silva, P.","McGuinness","L, D.","Fikes, R."],"bibtex":"@article{ pinheirodasilva2006:IS,\n author = {{Pinheiro Da Silva}, Paulo and McGuinness, Deborah L and Fikes, Richard},\n title = {{A Proof Markup Language for Semantic Web Services}},\n journal = {Information Systems},\n year = {2006},\n volume = {31},\n pages = {381--395},\n number = {4-5},\n file = {:C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva, McGuinness, Fikes - 2006 - A Proof Markup Language for Semantic Web Services.pdf:pdf},\n keywords = {#InferenceWeb,#PML,#interoperability,#justification,#use},\n mendeley-tags = {#InferenceWeb,#PML,#interoperability,#justification,#use}\n}","bibtype":"article","file":":C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva, McGuinness, Fikes - 2006 - A Proof Markup Language for Semantic Web Services.pdf:pdf","id":"pinheirodasilva2006:IS","journal":"Information Systems","key":"pinheirodasilva2006:IS","keywords":"#InferenceWeb,#PML,#interoperability,#justification,#use","mendeley-tags":"#InferenceWeb,#PML,#interoperability,#justification,#use","number":"4-5","pages":"381--395","title":"A Proof Markup Language for Semantic Web Services","type":"article","volume":"31","year":"2006","bibbaseid":"pinheirodasilva-mcguinness-l-fikes-aproofmarkuplanguageforsemanticwebservices-2006","role":"author","urls":{},"keyword":["#InferenceWeb","#PML","#interoperability","#justification","#use"],"downloads":0,"html":""},"bibtype":"article","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#inferenceweb","#pml","#interoperability","#justification","#use"],"search_terms":["proof","markup","language","semantic","web","services","pinheiro da silva","mcguinness","l","fikes"],"title":"A Proof Markup Language for Semantic Web Services","title_words":["proof","markup","language","semantic","web","services"],"year":2006,"dataSources":["drTBSwRdnSo2Wujnd"]}