Logic Programming and Nonmotonic Reasoning by Thomas Eiter | Menrva Books | MenrvaBooks