Proof-Nets and Dependencies Alain Lecomte author 1992 text COLING 1992 Volume 1: The 14th International Conference on Computational Linguistics conference publication lecomte-1992-proof https://aclanthology.org/C92-1061/ 1992