Optimizing the Presentation of Modal Natural Deduction Proofs. - Erika F. de Lima; Christoph Lingenfelder (ECAI, 1996)

Acquiring German Prepositional Subcategorization Frames from Corpora. - Erika F. de Lima (VLC, 1997)

Assigning Grammatical Relations with a Back-off Model. - Erika F. de Lima (EMNLP, 1997)

Induction of a Stem Lexicon for Two-level Morphological Analysis. - Erika F. de Lima (CoNLL, 1998)

Phrase Recognition and Expansion for Short, Precision-Biased Queries Based on a Query Log. - Erika F. de Lima; Jan O. Pedersen 001 (SIGIR, 1999)

Presentation of proofs in modal natural deduction. - Erika F. de Lima; Christoph Lingenfelder (J. Log. Comput., 2000)