Remark 4.9 This PM-line graph construction appears implicitly in Retoré's
work [1]} on proof nets. This remark was indeed the
starting point of the present work; we refer the reader back to the
introduction for further discussion of this point.

