S. Miura and A. Fukunaga, “Automatic Extraction of Axioms for Planning”, ICAPS, vol. 27, no. 1, pp. 218-227, Jun. 2017.