Bachor, P.; Behnke, G. Learning Planning Domains from Non-Redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. AAAI 2024, 38, 20028-20035.