Syntacticness, cycle-syntacticness, and shallow theories (1994)

by H Comon, M Haberstrau, J Jouannaud
Venue:Inf. Comput