You are about to access our book library "Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht (Lecture Notes in Computer Science, 1261) full version" .