G. R. Santhanam, S. Basu, and V. Honavar, “Dominance Testing via Model Checking”, AAAI, vol. 24, no. 1, pp. 357–362, Jul. 2010.