Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
stratified datalog programs with negation
scientific article; zbMATH DE number 484762