@inproceedings{smaus99lopstr:lncs,
     author = {{J.-G.}~Smaus and P. M. Hill and A.~King},
     title = {Mode Analysis Domains for Typed Logic Programs},
     editor = {A. Bossi},
     publisher = {Springer-Verlag, Berlin},
     year = 1999,
     pages = {82--101},
     Series = {Lecture Notes in Computer Science},
     Volume = 1817,
     ISBN = {3-540-67628-7},
     booktitle = {Logic-Based Program Synthesis and Transformation:
          Proceedings of the 9th International Workshop, LOPSTR-99},
     Address = {Venice, Italy},
 }