Pedro Cabalar

Logic Programming and Nonmonotonic Reasoning