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