An algorithm for ordering subgoals (1988)

by K A Morris
Venue:in Nail!,” in Proc. ACM SIGNOD-SIGACT Symp. Principles Database Syst