Definitional Trees (1992)

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