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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.