APA (7th ed.) Citation

Marcus, M., Westers, F., & Nijsten, A. (2025). Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits.

Chicago Style (17th ed.) Citation

Marcus, Michiel, Frank Westers, and Anne Nijsten. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.

MLA (9th ed.) Citation

Marcus, Michiel, et al. Modelling Arbitrary Computations in the Symbolic Model Using an Equational Theory for Bounded Binary Circuits. 2025.