Lifeng He Yuyan Chao Hidenori Itoh R-SATCHMO: Refinements on I-SATCHMO. 117-143 2004 14 J. Log. Comput. 2 https://doi.org/10.1093/logcom/14.2.117 db/journals/logcom/logcom14.html#HeCI04