C. Lecoutre, A. Paparrizou, and K. Stergiou, “Extending STR to a Higher-Order Consistency”, AAAI, vol. 27, no. 1, pp. 576-582, Jun. 2013.