David A. Jackson Decision and Separability Problems for Baumslag-Solitar Semigroups. 33-49 2002 12 IJAC 1-2 http://dx.doi.org/10.1142/S0218196702000857 db/journals/ijac/ijac12.html#Jackson02