Keyword:implementation of logics

Publications
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz In:Proceedings of the 7th and 8th Vampire Workshop
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz EasyChair Preprint 10510