Logical Foundations for RuleBased Systems
            
                Studies in Computational Intelligence
Publisher: Springer
Published: 2010
ISBN-13: 9783642067099