@article{Mendler_2012,
    doi = {10.1007/s10703-012-0144-6},
    url = {https://doi.org/10.1007%2Fs10703-012-0144-6},
    year = {2012},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {40},
    number = {3},
    pages = {283--329},
    author = {Michael Mendler and Thomas R. Shiple and G{\'{e}}rard Berry},
    title = {Constructive Boolean circuits and the exactness of timed ternary simulation},
    journal = {Formal Methods in System Design}
}

@article{Mendler_2012, doi = {10.1007/s10703-012-0144-6}, url = {https://doi.org/10.1007%2Fs10703-012-0144-6}, year = {2012}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {40}, number = {3}, pages = {283--329}, author = {Michael Mendler and Thomas R. Shiple and G{\'{e}}rard Berry}, title = {Constructive Boolean circuits and the exactness of timed ternary simulation}, journal = {Formal Methods in System Design} }