TY - RPRT TI - Efficient reordering of Prolog programs AU - Gooley, Markian M. AU - Wah, Benjamin W. PY - 1987 UR - https://ntrs.nasa.gov/citations/19940003667 ID - 19940003667 ER -