Gerald Pfeifer. Solving Hard Disjunctive Logic Programs Faster (Sometimes). In Francesco Buccafurri, editor, 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003. pages 226-237, 2003.
@inproceedings{Pfeifer03,
title = {Solving Hard Disjunctive Logic Programs Faster (Sometimes)},
author = {Gerald Pfeifer},
year = {2003},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Pfeifer03},
cites = {0},
citedby = {0},
pages = {226-237},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003},
editor = {Francesco Buccafurri},
}