Using Lightweight Inference to Solve Lightweight Problems

Marc Denecker, Joost Vennekens. Using Lightweight Inference to Solve Lightweight Problems. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 619-621, Springer, 2009. [doi]

@inproceedings{DeneckerV09,
  title = {Using Lightweight Inference to Solve Lightweight Problems},
  author = {Marc Denecker and Joost Vennekens},
  year = {2009},
  doi = {10.1007/978-3-642-04238-6_69},
  url = {http://dx.doi.org/10.1007/978-3-642-04238-6_69},
  researchr = {https://researchr.org/publication/DeneckerV09},
  cites = {0},
  citedby = {0},
  pages = {619-621},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
  volume = {5753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04237-9},
}