Towards Term-Based Verification of Diagrammatic Equivalence.

Julie Cailler, No Delorme, Simon Perdrix, Sophie Tourret

Browse the full IJCAR paper archive.