Luquan Pan On Reduced Thue Systems. 145-151 1985 18 Mathematical Systems Theory 2 db/journals/mst/mst18.html#Pan85