Abduction in logic programming: A new definition and an abductive procedure based on rewriting
scientific article; zbMATH DE number 1797853
scientific article