Alan Bundy’s paper “The Use of Explicit Plans to Guide Inductive Proofs” from CADE-9 won the Skolem award for most influential paper at this year’s CADE-26.
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented.
The Thoralf Skolem Award was established in 2014 to reward a CADE paper that has passed the test of time, by being a most influential paper in the field. Beginning with CADE-25 (2015), at every CADE the Skolem Award Committee selects a paper presented at the CADE held 10 years earlier to receive the award.
CADE has been running since 1974, with early conferences being mostly biennial, and annual conferences started in 1996. The series is managed by CADE Inc. which is a subcorporation of the Association for Automated Reasoning (AAR)
List of recipients and further information: http://cadeinc.org/
Alan's winning paper https://link.springer.com/chapter/10.1007/BFb0012826