Marisa Navarro Fernando Orejas Jean-Luc Remy Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. 147-180 1993 30 Acta Inf. 2 db/journals/acta/acta30.html#NavarroOR93