@Article{KLW90,
  author = {Kifer, M. and Lausen, G. and Wu, J.},
  title  = {Logical Foundations of Object-Oriented and Frame-Based Languages},
  journal = {Journal of the ACM},
  year   = {1995},
  number = {4},
  url    = {},

  const  = {\ text}
}