By Zhao Xishun   Ding Decheng   in Acta Mathematica Sinica

ISSN:1439-8516|16|4|555-564

Springer Publishing Company ‎(2000)‎

Access to resources Favorite 15.633799

By Kleine Büning Hans   Subramani K.   Zhao Xishun   in Journal of Automated Reasoning

ISSN:0168-7433|39|1|49-75

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 10.799593