[1]
H.-P. Storr, “Planning in the Fluent Calculus Using Binary Decision Diagrams”, AIMag, vol. 22, no. 3, p. 103, Sep. 2001.