A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Tractable Cases (chapter VII)
Abstract
This research report contains the current version of the chapter about tractable cases for BG homomorphism, chapter VII of a book to appear in 2008.