Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
Matthias HeizmannMax BarthDaniel DietschLeonard FichtnerJochen HoenickeDominik KlumppMehdi NaouarTanja SchindlerFrank SchüsseleAndreas PodelskiPublished in: TACAS (2) (2023)