Using the bottom clause and mode declarations in FOL theory revision from examples
scientific article; zbMATH DE number 5796819
scientific article