Bilateral locally testable languages | Publicación