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