@ARTICLE{
author={Bankovic Milan M,Drecun Ivan,Maric Filip M},
year={2021},
title={A Proof System for Graph (Non)-Isomorphism Verification},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={19},
number={1},
pages={-},
document_type={Article},
}