Reihe Lecture Notes in Artificial IntelligenceJames G. Williams ×eBooks × Instantiation TheoryOn the Foundations of Automated DeductionJames G. WilliamsSpringer BerlineBook2006