Gudmund Skovbjerg Frandsen Peter Bro Miltersen Sven Skyum Dynamic word problems. 257-271 1997 44 J. ACM 2 http://doi.acm.org/10.1145/256303.256309 db/journals/jacm/jacm44.html#FrandsenMS97