Keyword:term indexing

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