Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. - Bendegúz Seres; Dániel Horpácsi; Simon J. Thompson (Erlang, 2024)