Miura, S.; Fukunaga, A. Automatic Extraction of Axioms for Planning. ICAPS 2017, 27, 218-227.