Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses.

Robert Nieuwenhuis, Jos Miguel Rivero, Miguel ngel Vallejo

Browse the full CADE paper archive.