Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

Las Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Browse the full WoLLIC paper archive.