@article{PETTOROSSI_2004,
    doi = {10.1017/s147106840400198x},
    url = {https://doi.org/10.1017%2Fs147106840400198x},
    year = {2004},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {4},
    number = {04},
    pages = {495--537},
    author = {ALBERTO PETTOROSSI and MAURIZIO PROIETTI},
    title = {Transformations of logic programs with goals as arguments},
    journal = {Theory and Practice of Logic Programming}
}

@article{PETTOROSSI_2004, doi = {10.1017/s147106840400198x}, url = {https://doi.org/10.1017%2Fs147106840400198x}, year = {2004}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {4}, number = {04}, pages = {495--537}, author = {ALBERTO PETTOROSSI and MAURIZIO PROIETTI}, title = {Transformations of logic programs with goals as arguments}, journal = {Theory and Practice of Logic Programming} }