Storr, Hans-Peter. 2001. “Planning in the Fluent Calculus Using Binary Decision Diagrams”. AI Magazine 22 (3):103. https://doi.org/10.1609/aimag.v22i3.1582.