Plan generation by linear deduction | lit.salon