@mastersthesis{bayer:07ms,
  AUTHOR = {Kenneth M. Bayer},
  TITLE = {{Reformulating Constraint Satisfaction Problems with 
   Application to Geospatial Reasoning}}, 
  YEAR = 2007,
  MONTH = {August},
  SCHOOL = {Department of Computer Science and Engineering, 
               University of Nebraska-Lincoln},
  ADDRESS = {Lincoln, NE},
  KEYWORDS = {}
}