Dieter Hofbauer Johannes Waldmann Termination of {<i>a</i><i>a</i>-><i>b</i><i>c</i>, <i>b</i><i>b</i>-><i>a</i><i>c</i>, <i>c</i><i>c</i>-><i>a</i><i>b</i>}. 156-158 2006 98 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/j.ipl.2005.12.011 db/journals/ipl/ipl98.html#HofbauerW06