conf/pods/88 Katherine A. Morris An Algorithm for Ordering Subgoals in NAIL! 82-88 1988 PODS db/conf/pods/pods88.html#Morris88 http://doi.acm.org/10.1145/308386.308419 journals/anthology/cd1-3:PODS88/P082.PDF journals/anthology/dvd1:text/1-3/PODS88/P082.PDF conf/pods/BancilhonMSU86 conf/iclp/MorrisUG86 journals/debu/MorrisNSUG87 journals/tods/Ullman85 conf/pods/UllmanV88