Storr, Hans-Peter. “Planning in the Fluent Calculus Using Binary Decision Diagrams”. AI Magazine 22, no. 3 (September 15, 2001): 103. Accessed April 19, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1582.