DMCA
A PSPACE-complete fragment of Second Order Linear Logic (1999)
by
G. Perrier
,
Loria Universit'e Nancy