Bachor, P. and Behnke, G. (2024) “Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), pp. 20028–20035. doi: 10.1609/aaai.v38i18.29980.