P. Bachor and G. Behnke, “Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis”, AAAI, vol. 38, no. 18, pp. 20028–20035, Mar. 2024.