Peter J. Stuckey S. Sudarshan Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. 171-205 1997 32 J. Log. Program. 3 db/journals/jlp/jlp32.html#StuckeyS97