Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597)