A Hole in Goal Trees: Some Guidance from Resolution Theory.

Donald W. Loveland, Mark E. Stickel

Browse the full IJCAI paper archive.