Combinable Proof Fragments for the Web. Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. 2003. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-03-04, January.

PPDR: A Proof Protocol for Deductive Reasoning. Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; and Fikes, R. 2004. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-04-04, March.

Towards Checking Hybrid Proofs. Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; Fikes, R.; and Deshwal, P. 2005. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-05-01.

Statistics: ? unique visitors, ? downloads | Link To This Page.