Inductive equivalence in clausal logic and nonmonotonic logic programming
scientific article; zbMATH DE number 6031585