Definitional Trees (1992)

by S Antoy
Venue:In Proc. of the 3rd Int. Conf. on Algebraic and Logic Programming