Syntacticness, cyclesyntacticness and shallow theories (1994)

by Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud
Venue:Information and Computation