@phdthesis{Woodward:18phd,
  AUTHOR = {Robert J. Woodward},
  TITLE = {{Higher-Level Consistencies:  Where, When, and How Much}},
  YEAR = 2018,
  SCHOOL = {Department of Computer Science and Engineering, University
  of Nebraska--Lincoln}}