Logic programs, well-orderings, and forward chaining
scientific article; zbMATH DE number 1308103
scientific article