Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Preliminary version)
Article in Electronic Notes in Theoretical Computer Science (November 2006)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Electronic Notes in Theoretical Computer Science (November 2006)