Syntacticness, Cycle-Syntacticness, and Shallow Theories

Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud. Syntacticness, Cycle-Syntacticness, and Shallow Theories. Inf. Comput., 111(1):154-191, May 1994.

Abstract

Abstract is missing.