Title: Correct Reasoning
            
                Lecture Notes in Computer Science  Theoretical Computer Sci
Subjects: Logic programming, Artificial intelligence