Taolue Chen 0001 Jingyang Zhou Tingting Han 0001 Jian Lu 0001 4-20 2004 conf/cats/2004 CATS https://doi.org/10.1016/j.entcs.2003.12.003 db/journals/entcs/entcs91.html#ChenZHL04