Logic Programs, Well-Orderings, and Forward Chaining.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel Logic Programs, Well-Orderings, and Forward Chaining. 231-276 1999 96 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal96.html#MarekNR99