Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs

Christian Retoré. Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. Electronic Notes in Theoretical Computer Science, 3:167-182, 1996. [doi]

Abstract

Abstract is missing.