Bachor, P., P. M. Dekker, and G. Behnke. “Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 35, no. 1, Sept. 2025, pp. 11-20, doi:10.1609/icaps.v35i1.36096.