Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva. Definability in the Subword Order. In Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes, editors, Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Volume 6158 of Lecture Notes in Computer Science, pages 246-255, Springer, 2010. [doi]
Abstract is missing.