Definitional Trees (1992)

by Sergio Antoy
Venue:In Proc. of the 3rd International Conference on Algebraic and Logic Programming
Citations:151 - 39 self