-
71
-
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
Satisfiability of word equations with constants is in PSPACE.
Τόπος έκδοσης Journal of the ACMΆρθρο -
80