Basic superposition is complete (1992)

by Robert Nieuwenhuis, Albert Rubio
Venue:ESOP’92, 4th European Symposium on Programming