Decision procedures and model building in equational clause logic (1997)

by C Fermuller, A Leitsch
Venue:Journal of the IGPL