@misc{indiciaed2f435b84f61, title = {Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism}, author = {Daniel McCormack}, year = {2014}, url = {https://arxiv.org/abs/1407.3239}, note = {Source identifier: 1407.3239} }