Inferring Compensatory Kinase Networks in Yeast using Prolog. - George Aristidis Elder; Conrad Bessant (ICLP, 2023)