@techreport{Yi01,
  author = "Kwagnkeun Yi",
  title = "Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking",
  type = "Technical Memorandum",
  number = "2001-10",
  institution = "Research on Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology",
  year = "2001"
}