@inproceedings{Le_Charlier_1993,
    doi = {10.1145/154630.154641},
    url = {https://doi.org/10.1145%2F154630.154641},
    year = {1993},
    publisher = {{ACM} Press},
    author = {Baudouin Le Charlier and Pascal van Hentenryck},
    title = {Groundness analysis for Prolog},
    booktitle = {Proceedings of the 1993 {ACM} {SIGPLAN} symposium on Partial evaluation and semantics-based program manipulation  - {PEPM} {\textquotesingle}93}
}

@inproceedings{Le_Charlier_1993, doi = {10.1145/154630.154641}, url = {https://doi.org/10.1145%2F154630.154641}, year = {1993}, publisher = {{ACM} Press}, author = {Baudouin Le Charlier and Pascal van Hentenryck}, title = {Groundness analysis for Prolog}, booktitle = {Proceedings of the 1993 {ACM} {SIGPLAN} symposium on Partial evaluation and semantics-based program manipulation - {PEPM} {\textquotesingle}93} }