Abductive logic programming agents with destructive databases
scientific article; zbMATH DE number 5997540