TY  - RPRT
TI  - A proof system for graph (non)-isomorphism verification
AU  - Milan Banković
AU  - Ivan Drecun
AU  - Filip Marić
PY  - 2023
DO  - 10.46298/lmcs-19(1:9)2023
UR  - https://arxiv.org/abs/2112.14303
ID  - 2112.14303
ER  -