(1)
Storr, H.-P. Planning in the Fluent Calculus Using Binary Decision Diagrams. AIMag 2001, 22, 103.