@TECHREPORT{pratikakis:tr05,
  AUTHOR = {Polyvios Pratikakis and Michael Hicks and Jeffrey S. Foster},
  TITLE = {Existential Label Flow Inference via {CFL} Reachability (Extended Version)},
  INSTITUTION = {Department of Computer Science, University of Maryland},
  NUMBER = {CS-TR-4700},
  YEAR = 2005,
  MONTH = JUL
}