TY  - RPRT
TI  - On Structuring Proof Search for First Order Linear Logic
AU  - Paola Bruscoli
AU  - Alessio Guglielmi
PY  - 2003
DO  - 10.1016/j.tcs.2005.11.047
UR  - https://arxiv.org/abs/cs/0312002
ID  - cs/0312002
ER  -