Characterization of Strongly Equivalent Logic Programs in Intermediate Logics

Dick De Jongh Lex Hendriks Characterization of Strongly Equivalent Logic Programs in Intermediate Logics http://arxiv.org/abs/cs.LO/0206005 2002 CoRR cs.LO/0206005 db/journals/corr/corr0206.html#cs-LO-0206005 informal publication