A. R. Thomson
Mahla Ghasemnejad, Alireza Arabpour, Ayyub Sheikhi
Houda Benali, Narjès Bellamine Ben Saoud
Kiyoka Maeba, Akihiko Kanki, Hiroyuki Watanabe [...]
Armin Biere, Carsten Sinz
Tenko Raykov, George A. Marcoulides, Tenglong Li
Jan A. Bergstra, Cornelis A. Middelburg
Franz Kurfess, Ching Kang Cheng, Z.Y. Wang [...]
Zhen Liu, Longlei Dong, Jianping Zhao [...]
J. P. Isbister
, Ayyub Sheikhi, Akihiko Kanki, Hiroyuki Watanabe 
