Definitional trees (1992)

by S Antoy
Venue:Proceedings of the Third International Conference on Algebraic and Logic Programming