Qingliang Chen Kaile Su Xizhong Zheng 365-380 2007 53 Math. Log. Q. 4-5 http://dx.doi.org/10.1002/malq.200710005 db/journals/mlq/mlq53.html#ChenSZ07