Keyword:code trees

Papers
Implementing Bottom-up Procedures with Code Trees: a Case Study of Forward Subsumption Andrei Voronkov EasyChair Preprint no. 3148