A proof system for graph (non)-isomorphism verification. - Milan Bankovic; Ivan Drecun; Filip Maric (Log. Methods Comput. Sci., 2023)