The bounded functional interpretation of the double negation shift. - Patrícia Engrácia; Fernando Ferreira 001 (J. Symb. Log., 2010)

The bounded functional interpretation of bar induction. - Patrícia Engrácia (Ann. Pure Appl. Log., 2012)

Computing Repairs from Active Integrity Constraints. - Luís Cruz-Filipe; Graça Gaspar; Patrícia Engrácia; Isabel Nunes (TASE, 2013)