Francesco Buccafurri, Nicola Leone, Pasquale Rullo. Computing Disjunctive Ordered Logic. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 283-294, 1996.
@inproceedings{BuccafurriLR96:0, title = {Computing Disjunctive Ordered Logic}, author = {Francesco Buccafurri and Nicola Leone and Pasquale Rullo}, year = {1996}, tags = {logic}, researchr = {https://researchr.org/publication/BuccafurriLR96%3A0}, cites = {0}, citedby = {0}, pages = {283-294}, booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996}, editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro}, }