Volker Diekert;John Michael Robson
-;-
Alphabetical satisfiability problem for trace equations
Acta Cybernetica
Tracing compressed curves in triangulated surfaces
Proceedings of the twenty-eighth annual symposium on Computational geometry