Talk:Vampire (theorem prover)

Untitled
http://www.springerlink.com/content/6huhpyqdt7yw4pv2/ gives a more accessible introduction to Vampire and describes an early application to OWL DL RobertBurrellDonkin (talk) 07:32, 2 May 2010 (UTC)