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