arXiv 2003-07-30 EN Sound search in a denotational semantics for first order logic Vermeulen, C. F. M.
arXiv 2001-01-23 EN Properties of Input-Consuming Derivations Bossi, Annalisa · Etalle, Sandro · Rossi, Sabina
