Tags » Proof 2014 24 Jul Introduction to Automated Theorem Proving with Logtk 2012 30 Nov Debugging with DOT