TY - RPRT TI - On tractability and congruence distributivity AU - Emil Kiss AU - Matthew Valeriote PY - 2007 DO - 10.2168/lmcs-3(2:6)2007 UR - https://arxiv.org/abs/0705.2229 ID - 0705.2229 ER -