[Discover] Magic sets and other strange ways to implement logic programs (extended abstract) http://doi.acm.org/10.1145/6012.15399
(academic inference formal method) 
[Discover] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal) http://www.cs.utexas.edu/users/jared/milawa/Documentation/Proposal/proposal-web.pdf (thesis academic proof theory)
[Discover] OWL: Experiences and Directions http://www.mindswap.org/2005/OWLWorkshop/programme.shtml (owl description logic)
[Discover] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal) http://www.cs.utexas.edu/users/jared/milawa/Documentation/Proposal/proposal-web.pdf (thesis academic proof theory)
[Discover] OWL: Experiences and Directions http://www.mindswap.org/2005/OWLWorkshop/programme.shtml (owl description logic)