An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.

Rodney R. Howell Louis E. Rosier Hsu-Chun Yen An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. 27-33 1987 25 Inf. Process. Lett. 1 db/journals/ipl/ipl25.html#HowellRY87