Laurent Fribourg A Superposition Oriented Theorem Prover. 129-164 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#Fribourg85