Theory and Practice of Logic Programming (TPLP), Volume 9

Volume 9, Number 1, January 2009

• Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
  Justifications for logic programs under answer set semantics. 1-56
  Electronic Edition (link) BibTeX
• Chitta Baral, Michael Gelfond, J. Nelson Rushton:
  Probabilistic reasoning with answer sets. 57-144
  Electronic Edition (link) BibTeX

Volume 9, Number 2, March 2009

• Étienne Payet, Frédéric Mesnard:
  A non-termination criterion for binary constraint logic programs. 145-164
  Electronic Edition (link) BibTeX
• Leslie De Koninck:
  Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. 165-212
  Electronic Edition (link) BibTeX
• Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo:
  On finitely recursive programs. 213-238
  Electronic Edition (link) BibTeX
• Femke van Raamsdonk:
  Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850. 239-243
  Electronic Edition (link) BibTeX