Carmine Dodaro

Logic Programming and Nonmonotonic Reasoning