TY - RPRT TI - Decision problems for Clark-congruential languages AU - Makoto Kanazawa AU - Tobias Kappé PY - 2018 UR - https://arxiv.org/abs/1805.04402 ID - 1805.04402 ER -