@TechReport{Elder:2007:TR-HTNPC,
  author =	 {Matt Elder and Ben Liblit},
  title =	 {Heap Typability is {NP}-Complete},
  institution =	 {University of Wisconsin--Madison},
  year =	 2007,
  number =	 1618,
  month =	 oct
}