In September, Coherent’s Dr. Michael Kifer was awarded the prestigious
20-year Test of Time Award from the Association for Logic Programming (ALP). The award identifies the most influential paper from the ICLP proceedings 20 years prior that stood the “test of time”.
Kifer and Bonner’s paper, “Transaction Logic Programming” is cited by fellow researchers close to 200 times (according to Google Scholar) and originally appeared in “Logic Programming: The Proceedings of the Tenth International Conference on Logic Programming (ICLP ’93)”, David S. Warren, ed., which took place in Budapest, Hungary.