Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits. - Michiel Marcus; Frank Westers; Anne Nijsten (CoRR, 2025)