Storr, H.-P. “Planning in the Fluent Calculus Using Binary Decision Diagrams”. AI Magazine, vol. 22, no. 3, Sept. 2001, p. 103, doi:10.1609/aimag.v22i3.1582.