Oriented equational logic is complete (1997)

by C Lynch
Venue:Journal of Symbolic Computations