Definitional trees (1992)

by S Antoy
Venue:in: Int. Conf. on Algebraic Logic Programming (ALP’92), number 632 in LNCS