An algebraization of first order logic with terms (1991)

by J Cirulis
Venue:Colloq. Math. Soc. J. Bolyai