Deductive synthesis of recursive plans in linear logic. - Stephen N. Cresswell (2001)