TY - RPRT TI - Strong solvability and residual finiteness for finitely decidable varieties AU - Ralph McKenzie AU - Matthew Smedberg PY - 2013 UR - https://arxiv.org/abs/1311.2683 ID - 1311.2683 ER -