You are about to access our book library "Logic-Based Knowledge Representation (Mit Press Series in Logic Programming) full version" .