@Inproceedings{Kel-Mar-Son-Stu:SAS96,
  author    = {A. Kelly and K. Marriott and H. S{\o}ndergaard and P. Stuckey},
  title     = {Two Applications of an Incremental Analysis Engine for
                (Constraint) Logic Programs (System Description)},
  editor    = {R. Cousot and D. A. Schmidt},
  booktitle = {Static Analysis: Proceedings of the Third International 
		Symposium},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {385--386},
  publisher = {Springer},
  year      = {1996},
}