@proceedings{Swie95PLILP,
  editor    = {Manuel Hermenegildo and S. Doaitse Swierstra},
  title     = {Proceedings of the the 7th International PLILP Symposium {\em Programming Languages: Implementations, Logics and Programs}},
  publisher = Springer-Verlag,
  series    = {LNCS},
  volume    = {982},
  year      = {1995},
}