Alexei P. Stolboushkin. Axiomatizable Classes of Finite Models and Definability of Linear Order. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 64-70, IEEE Computer Society, 1992.
No references recorded for this publication.
No citations of this publication recorded.