Definitional trees (1992)

by S Antoy
Venue:In Proc. of the 3rd Int’l Conference on Algebraic and Logic Programming, ALP’92