Samuel R. Buss. The Boolean Formula Value Problem Is in ALOGTIME. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA. pages 123-131, ACM, 1987.
@inproceedings{Buss87, title = {The Boolean Formula Value Problem Is in ALOGTIME}, author = {Samuel R. Buss}, year = {1987}, researchr = {https://researchr.org/publication/Buss87}, cites = {0}, citedby = {0}, pages = {123-131}, booktitle = {Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA}, publisher = {ACM}, }