Gerald Pfeifer

• Logic Programming and Nonmonotonic Reasoning