@techreport{HK03a,
  number="TR2003-1896",
  month="May",
  title="On the complexity of the {H}orn theory of {REL}",
  author="Chris Hardin and Dexter Kozen",
  year="2003",
  institution="Computer Science Department, Cornell University"
}