L. A. Bokut Yuqun Chen Xiangui Zhao GrÖbner-shirshov Bases for Free Inverse Semigroups. 129-143 2009 19 IJAC 2 http://dx.doi.org/10.1142/S0218196709005019 db/journals/ijac/ijac19.html#BokutCZ09