Characterization of strongly equivalent logic programs in intermediate logics.

Dick De Jongh Lex Hendriks Characterization of strongly equivalent logic programs in intermediate logics. 259-270 2003 3 TPLP 3 db/journals/tplp/tplp3.html#JonghH03