@article{RIGUZZI_2011,
    doi = {10.1017/s147106841100010x},
    url = {https://doi.org/10.1017%2Fs147106841100010x},
    year = {2011},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {11},
    number = {4-5},
    pages = {433--449},
    author = {FABRIZIO RIGUZZI and TERRANCE SWIFT},
    title = {The {PITA} system: Tabling and answer subsumption for reasoning under uncertainty},
    journal = {Theory and Practice of Logic Programming}
}

@article{RIGUZZI_2011, doi = {10.1017/s147106841100010x}, url = {https://doi.org/10.1017%2Fs147106841100010x}, year = {2011}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {11}, number = {4-5}, pages = {433--449}, author = {FABRIZIO RIGUZZI and TERRANCE SWIFT}, title = {The {PITA} system: Tabling and answer subsumption for reasoning under uncertainty}, journal = {Theory and Practice of Logic Programming} }