Characterization of strongly equivalent logic programs in intermediate logics

Dick De Jongh, Lex Hendriks. Characterization of strongly equivalent logic programs in intermediate logics. TPLP, 3(3):259-270, 2003.

Abstract

Abstract is missing.