Natasha Alechina and Yuri Gurevich (1997). "Syntax vs. semantics on finite structures." In Jan Mycielski, Grzegorz Rozenberg, and Arto Salomaa, editors, Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht, Springer lecture Notes in Computer Science 1261 (pp. 14 - 33).
| |
|
|