"Decision problems for Clark-congruential languages."

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