@inproceedings{BeierleMeyer99FLOPS,
  author    = {C. Beierle and
               G. Meyer},
  title     = {Using Types as Approximations for Type Checking {P}rolog Programs},
  booktitleSHORT = {Fuji International Symposium on Functional and Logic Programming},
  year      = {1999},
  pages     = {251-266},

  editorLONG    = {Aart Middeldorp and
               Taisuke Sato},
  editor    = {A. Middeldorp and T. Sato},
  booktitle     = {Functional and Logic Programming, 4th Fuji International
               Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999,
               Proceedings},
  booktitleSHORTER = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1722},
  isbn      = {3-540-66677-X}
}