[HeizmannCDGHLNMSSP18] Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) Heizmann, M.; Chen, Y.-F.; Dietsch, D.; Greitschus, M.; Hoenicke, J.; Li, Y.; Nutz, A.; Musa, B.; Schilling, C.; Schindler, T. and Podelski, A. In TACAS, pages 447-451, Springer, LNCS 10806, 2018.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-89963-3_30