Santhanam, G. R.; Basu, S.; Honavar, V. Dominance Testing via Model Checking. AAAI 2010, 24, 357-362.