D. Oehrle

Some 3-Dimensional Systems of Labelled Deduction

Dick Oehrle, D. Oehrle, 1995, Log. J. IGPL.

Structural Abstractions

M. Moortgat, D. Oehrle, 1996 .

Proof nets for structured resources

M. Moortgat, D. Oehrle, 2000 .

Constructive models of extraction parameters

Dick Oehrle, D. Oehrle, 1998, TAG+.

Multiple Negation Processing *

D Oehrle, J Ginzburg, R. Cooper, 2022 .