Bachor, P.; Dekker, P. M.; Behnke, G. Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning. ICAPS 2025, 35, 11-20.