TY  - RPRT
TI  - Complete representation by partial functions for signatures containing antidomain restriction
AU  - Brett McLean
PY  - 2024
DO  - 10.1142/s0218196724500450
UR  - https://arxiv.org/abs/2307.09620
ID  - 2307.09620
ER  -