Definitional trees. In: Algebraic and Logic Programming. Volume 632 of LNCS (1992)

by S Antoy