Building models by using tableaux extended by equational problems (1993)

by R Caferra, N Zabel
Venue:Journal of Logic and Computation