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
https://www.pymnts.com/cpi-posts/us-bone-mcallester-hire-adds-antitrust-talent/
Bone McAllester Norton announced Thursday that it has hired antitrust lawyer Trey R. Frazer III. Frazer specializes in various competition matters including...
usbonemcallesterhireadds