Una interpretación lógico-algebraica de la semántica de la programación. - Aurora Pérez (1991)

A Formal Study of Forward Reasoning Consistency on KBSs. - Luis M. Laita; Luis de Ledesma; Aurora Pérez; Betty Ramírez (EUROVAV, 1993)

A Powerful Heuristic for the Discovery of Complex Patterned Behaviour. - Raúl E. Valdés-Pérez; Aurora Pérez (ICML, 1994)

A Computational Approach to George Boole's Discovery of Mathematical Logic. - Luis de Ledesma; Aurora Pérez; Daniel Borrajo; Luis M. Laita (Artif. Intell., 1997)

Evaluation of Semantic Actions in Predictive Non-Recursive Parsing. - José L. Fuertes; Aurora Pérez (SCSS (1), 2008)