Making Higher-Order Superposition Work. - Vukmirovic, Petar; Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Nummelin, Visa; Tourret, Sophie (2021)