@mastersthesis{davis:02ms,
  AUTHOR = {Amy M. Davis},
  TITLE = {{Dynamically Detecting and Exploiting Symmetry in 
            Finite Constraint Satisfaction Problems}}, 
  YEAR = 2002,
  MONTH = {April},
  SCHOOL = {Department of Computer Science and Engineering, 
               University of Nebraska-Lincoln},
  ADDRESS = {Lincoln, NE},
  KEYWORDS = {}}