TY - RPRT TI - Rings with common division, common meadows and their conditional equational theories AU - Jan A Bergstra AU - John V Tucker PY - 2024 DO - 10.1017/jsl.2024.88 UR - https://arxiv.org/abs/2405.01733 ID - 2405.01733 ER -