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