Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Yong Kiam Tan.

Journal of Automated Reasoning, 64, 1287–1306, 2020. 2020