Miros law Truszczy nski

• Logic Programming and Nonmotonic Reasoning