Ralph William Allen Becket: Efficient knowledge and action planning in first order logic. University of Cambridge, UK 1998