@article{Paolini_1999,
    doi = {10.1051/ita:1999130},
    url = {https://doi.org/10.1051%2Fita%3A1999130},
    year = {1999},
    month = {nov},
    publisher = {{EDP} Sciences},
    volume = {33},
    number = {6},
    pages = {507--534},
    author = {Luca Paolini and  Simona Ronchi Della Rocca},
    title = {Call-by-value Solvability},
    journal = {{RAIRO} - Theoretical Informatics and Applications}
}

@article{Paolini_1999, doi = {10.1051/ita:1999130}, url = {https://doi.org/10.1051%2Fita%3A1999130}, year = {1999}, month = {nov}, publisher = {{EDP} Sciences}, volume = {33}, number = {6}, pages = {507--534}, author = {Luca Paolini and Simona Ronchi Della Rocca}, title = {Call-by-value Solvability}, journal = {{RAIRO} - Theoretical Informatics and Applications} }