Tabling for non-monotonic programming
scientific article; zbMATH DE number 1456907