Set constraints are the monadic class (1993)

by L Bachmair, H Ganzinger, U Waldmann
Venue:in Proc. 8th Symp. Logic in Computer Science, IEEE