https://www.booktopia.com.au/automated-deduction-cade-17-david-mcallester/ebook/9783540451013.html
Buy Automated Deduction - CADE-17, 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings by David McAllester...
automated deductiondavid mcallestercadeebookinternational