Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y. Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI 2010, 24, 249-254.