P. Bachor, P. M. Dekker, and G. Behnke, “Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning”, ICAPS, vol. 35, no. 1, pp. 11-20, Sep. 2025.