Araújo, João, and Michael Kinyon. "An elegant 3-basis for inverse semigroups." Semigroup Forum. 82 (2011): 319-323.