@techreport{ pinheirodasilva2005:KSL,
  author = {{Pinheiro Da Silva}, Paulo and Hayes, Patrick and McGuinness, Deborah
	L and Fikes, Richard and Deshwal, Priyendra},
  title = {{Towards Checking Hybrid Proofs}},
  institution = {Knowledge Systems Laboratory, Stanford University},
  year = {2005},
  number = {KSL-05-01},
  address = {Stanford, CA, USA},
  keywords = {#content,#entailment,#explanation,#justification},
  mendeley-tags = {#content,#entailment,#explanation,#justification}
}

{"_id":{"_str":"5218856daa2f288d1f0002bd"},"__v":7,"authorIDs":["546d98d7ec3c47a518000b01"],"author_short":["Pinheiro Da Silva, P.","Hayes, P.","McGuinness","L, D.","Fikes, R.","Deshwal, P."],"bibbaseid":"pinheirodasilva-hayes-mcguinness-l-fikes-deshwal-towardscheckinghybridproofs-2005","bibdata":{"address":"Stanford, CA, USA","author":["Pinheiro Da Silva, Paulo","Hayes, Patrick","McGuinness","L, Deborah","Fikes, Richard","Deshwal, Priyendra"],"author_short":["Pinheiro Da Silva, P.","Hayes, P.","McGuinness","L, D.","Fikes, R.","Deshwal, P."],"bibtex":"@techreport{ pinheirodasilva2005:KSL,\n author = {{Pinheiro Da Silva}, Paulo and Hayes, Patrick and McGuinness, Deborah\r\n\tL and Fikes, Richard and Deshwal, Priyendra},\n title = {{Towards Checking Hybrid Proofs}},\n institution = {Knowledge Systems Laboratory, Stanford University},\n year = {2005},\n number = {KSL-05-01},\n address = {Stanford, CA, USA},\n keywords = {#content,#entailment,#explanation,#justification},\n mendeley-tags = {#content,#entailment,#explanation,#justification}\n}","bibtype":"techreport","id":"pinheirodasilva2005:KSL","institution":"Knowledge Systems Laboratory, Stanford University","key":"pinheirodasilva2005:KSL","keywords":"#content,#entailment,#explanation,#justification","mendeley-tags":"#content,#entailment,#explanation,#justification","number":"KSL-05-01","title":"Towards Checking Hybrid Proofs","type":"techreport","year":"2005","bibbaseid":"pinheirodasilva-hayes-mcguinness-l-fikes-deshwal-towardscheckinghybridproofs-2005","role":"author","urls":{},"keyword":["#content","#entailment","#explanation","#justification"],"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#content","#entailment","#explanation","#justification"],"search_terms":["towards","checking","hybrid","proofs","pinheiro da silva","hayes","mcguinness","l","fikes","deshwal"],"title":"Towards Checking Hybrid Proofs","title_words":["towards","checking","hybrid","proofs"],"year":2005,"dataSources":["drTBSwRdnSo2Wujnd"]}