"Focussing Proof-Net Construction as a Middleware Paradigm."

Jean-Marc Andreoli (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics