Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar: Lassie: HOL4 tactics by example. CPP 2021: 212-223