@PhdThesis{Hug:phd,
  author = "D.J.D.~Hughes",
  title = "{H}ypergame {S}emantics: {F}ull {C}ompleteness for {S}ystem $F$",
  school = "Oxford {U}niversity",
  year = 2000
}