Title: Plan generation by linear deduction