-
51
-
52
Satisfiability of word equations with constants is in PSPACE.
Τόπος έκδοσης Journal of the ACMΆρθρο -
53
-
54
-
55
-
56
-
57
-
58
-
59
-
60