"Decision problems for Clark-congruential languages."

Makoto Kanazawa, Tobias Kappé (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics