Yves Lafont Andre Scedrov The Undecidability of Second Order Multiplicative Linear Logic. 46-51 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#LafontS96