Javier Álvez, Paqui Lucio. Elimination of Local Variables from Definite Logic Programs. Electr. Notes Theor. Comput. Sci. 137(1): 5-24

Javier Álvez, Paqui Lucio. An Algorithm for Local Variable Elimination in Normal Logic Programs. LOPSTR 2005: 61-79

Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro. Goals in the Propositional Horn Language Are Monotone Boolean Circuits. MFCS 2005: 376-386

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146