De trees (1992)

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