PP-2001-09: Lex Hendriks, Dick de Jongh Characterization of Strongly Equivalent Logic Programs in Intermediate Logics 1.Full Text, 2.Abstract. < Back
