Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo. An Implementation Kernel for Theorem Proving with Equality Clauses. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 89-104, 1996.
Abstract is missing.