Journal of Logic Programming

Volume 17

j-jlp-17-127

Marco Cadoli and Marco Schaerf:
A Survey of Complexity Results for Non-monotonic Logics.
Pages 127-160.

j-jlp-17-301

Michael Gelfond and Vladimir Lifschitz:
Representing action and change by logic programs.
Pages 301-321.