@article{Pettorossi_2005,
    Author = {Pettorossi, Alberto and Proietti, Maurizio and Renault, Sophie},
    File = {Derivation\_of\_Efficient\_Logic\_Programs\_by\_Specialization\_and\_Reduction\_of\_Nondeterminism - f.pdf},
    Journal = {Higher-Order and Symbolic Computation},
    Month = {jun},
    Number = {1-2},
    Pages = {121--210},
    Publisher = {Springer Science and Business Media {LLC}},
    Title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism},
    URL = {https://doi.org/10.1007\%2Fs10990-005-7008-3},
    Volume = {18},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1007\%2Fs10990-005-7008-3},
    bdsk-url-2 = {https://doi.org/10.1007/s10990-005-7008-3},
    date-added = {2021-03-29 21:08:00 +0200},
    date-modified = {2021-03-29 21:08:00 +0200},
    doi = {10.1007/s10990-005-7008-3}
}

@article{Pettorossi_2005, Author = {Pettorossi, Alberto and Proietti, Maurizio and Renault, Sophie}, File = {Derivation_of_Efficient_Logic_Programs_by_Specialization_and_Reduction_of_Nondeterminism - f.pdf}, Journal = {Higher-Order and Symbolic Computation}, Month = {jun}, Number = {1-2}, Pages = {121--210}, Publisher = {Springer Science and Business Media {LLC}}, Title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism}, URL = {https://doi.org/10.1007\%2Fs10990-005-7008-3}, Volume = {18}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1007\%2Fs10990-005-7008-3}, bdsk-url-2 = {https://doi.org/10.1007/s10990-005-7008-3}, date-added = {2021-03-29 21:08:00 +0200}, date-modified = {2021-03-29 21:08:00 +0200}, doi = {10.1007/s10990-005-7008-3} }