TY  - RPRT
TI  - Algebras of multiplace functions for signatures containing antidomain
AU  - Brett McLean
PY  - 2016
DO  - 10.1007/s00012-017-0452-1
UR  - https://arxiv.org/abs/1507.06167
ID  - 1507.06167
ER  -