TY - RPRT TI - Difference-restriction algebras of partial functions: axiomatisations and representations AU - Célia Borlido AU - Brett McLean PY - 2022 DO - 10.1007/s00012-022-00775-4 UR - https://arxiv.org/abs/2011.15108 ID - 2011.15108 ER -