Efficient Implementation of the Plan Graph in STAN | Synapse