## Samuel R. Buss

*The Boolean Formula Value Problem Is in ALOGTIME*

STOC, 1987.

@inproceedings{STOC-1987-Buss, author = "Samuel R. Buss", booktitle = "{Proceedings of the 19th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/28395.28409", isbn = "0-89791-221-7", pages = "123--131", publisher = "{ACM}", title = "{The Boolean Formula Value Problem Is in ALOGTIME}", year = 1987, }