@article{Scutell__1990,
    doi = {10.1016/0743-1066(90)90026-2},
    url = {https://doi.org/10.1016%2F0743-1066%2890%2990026-2},
    year = {1990},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {8},
    number = {3},
    pages = {265--273},
    author = {Maria Grazia Scutell{\`{a}}},
    title = {A note on Dowling and Gallier{\textquotesingle}s top-down algorithm for propositional Horn satisfiability},
    journal = {The Journal of Logic Programming}
}

@article{Scutell__1990, doi = {10.1016/0743-1066(90)90026-2}, url = {https://doi.org/10.1016%2F0743-1066%2890%2990026-2}, year = {1990}, month = {may}, publisher = {Elsevier {BV}}, volume = {8}, number = {3}, pages = {265--273}, author = {Maria Grazia Scutell{`{a}}}, title = {A note on Dowling and Gallier{\textquotesingle}s top-down algorithm for propositional Horn satisfiability}, journal = {The Journal of Logic Programming} }