1 code implementation • 12 Aug 2020 • Alexander Gellner, Sebastian Lamm, Christian Schulz, Darren Strash, Bogdán Zaválnij
A key feature of our work is that some transformation rules can increase the size of the input.