Heidi E. Dixon Matthew L. Ginsberg David K. Hofer Eugene M. Luks Andrew J. Parkes Implementing a Generalized Version of Resolution. 55-60 2004 conf/aaai/2004 AAAI db/conf/aaai/aaai2004.html#DixonGHLP04