%A J. Gallagher %T An approach to the control of logic programs %R Ph.D. thesis %I Department of Computer Science, Trinidid College %C Dublin %D ???