%0 Report %1 Silva2004 %A da Silva, Paulo P. %A Hayes, Patrick J. %A Mcguinness, Deborah L. %A Fikes, Richard %D 2004 %K kiwi %T PPDR - a proof protocol for deductive reasoning

@techreport{Silva2004, added-at = {2008-11-14T13:33:38.000+0100}, author = {da Silva, Paulo P. and Hayes, Patrick J. and Mcguinness, Deborah L. and Fikes, Richard}, biburl = {https://www.bibsonomy.org/bibtex/26bc0d4e43edd656e4e916fc51fd9d7e8/fraktalek}, citeulike-article-id = {3508908}, institution = {Knowledge Systems Laboratory, Stanford University}, interhash = {80b6176f6de957773e163ce94cf5b420}, intrahash = {6bc0d4e43edd656e4e916fc51fd9d7e8}, keywords = {kiwi}, posted-at = {2008-11-13 14:14:01}, priority = {2}, timestamp = {2008-11-14T13:33:38.000+0100}, title = {PPDR - a proof protocol for deductive reasoning}, year = 2004 }