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 (Mar. 2024), 20028–20035. DOI:https://doi.org/10.1609/aaai.v38i18.29980.