Pedro Cabalar: Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237