TY  - RPRT
TI  - Reasoning with !-Graphs
AU  - Alexander Merry
PY  - 2014
UR  - https://arxiv.org/abs/1403.7828
ID  - 1403.7828
ER  -