V. Asuncion, F. Lin, Y. Zhang, and Y. Zhou, “Ordered Completion for First-Order Logic Programs on Finite Structures”, AAAI, vol. 24, no. 1, pp. 249–254, Jul. 2010.