@Inproceedings{Kel-Mar-Son-Stu_SAS96,
  author    = {Andrew D. Kelly and 
		Kim Marriott and 
		Harald S{\o}ndergaard and 
		Peter J. 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},
  doi       = {10.1007/3-540-61739-6_55},
  keywords  = {Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation},
}

{"_id":"TSczXwHhWgxav3qDz","bibbaseid":"kelly-marriott-sndergaard-stuckey-twoapplicationsofanincrementalanalysisengineforconstraintlogicprogramssystemdescription-1996","author_short":["Kelly, A. D.","Marriott, K.","Søndergaard, H.","Stuckey, P. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andrew","D."],"propositions":[],"lastnames":["Kelly"],"suffixes":[]},{"firstnames":["Kim"],"propositions":[],"lastnames":["Marriott"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]},{"firstnames":["Peter","J."],"propositions":[],"lastnames":["Stuckey"],"suffixes":[]}],"title":"Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (System Description)","editor":[{"firstnames":["R."],"propositions":[],"lastnames":["Cousot"],"suffixes":[]},{"firstnames":["D.","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"booktitle":"Static Analysis: Proceedings of the Third International Symposium","series":"Lecture Notes in Computer Science","volume":"1145","pages":"385–386","publisher":"Springer","year":"1996","doi":"10.1007/3-540-61739-6_55","keywords":"Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation","bibtex":"@Inproceedings{Kel-Mar-Son-Stu_SAS96,\n author = {Andrew D. Kelly and \n\t\tKim Marriott and \n\t\tHarald S{\\o}ndergaard and \n\t\tPeter J. Stuckey},\n title = {Two Applications of an Incremental Analysis Engine for\n (Constraint) Logic Programs (System Description)},\n editor = {R. Cousot and D. A. Schmidt},\n booktitle = {Static Analysis: Proceedings of the Third International \n\t\tSymposium},\n series = {Lecture Notes in Computer Science},\n volume = {1145},\n pages = {385--386},\n publisher = {Springer},\n year = {1996},\n doi = {10.1007/3-540-61739-6_55},\n keywords = {Constraint programming, Logic programming, Prolog, Static analysis, Program transformation, Compilation},\n}\n\n","author_short":["Kelly, A. D.","Marriott, K.","Søndergaard, H.","Stuckey, P. J."],"editor_short":["Cousot, R.","Schmidt, D. A."],"key":"Kel-Mar-Son-Stu_SAS96","id":"Kel-Mar-Son-Stu_SAS96","bibbaseid":"kelly-marriott-sndergaard-stuckey-twoapplicationsofanincrementalanalysisengineforconstraintlogicprogramssystemdescription-1996","role":"author","urls":{},"keyword":["Constraint programming","Logic programming","Prolog","Static analysis","Program transformation","Compilation"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.eng.unimelb.edu.au/harald/bibbase.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["constraint programming","logic programming","prolog","static analysis","program transformation","compilation"],"search_terms":["two","applications","incremental","analysis","engine","constraint","logic","programs","system","description","kelly","marriott","søndergaard","stuckey"],"title":"Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (System Description)","year":1996}