@inproceedings{Buss:1987:BFV:28395.28409,
    Address = {New York, NY, USA},
    Author = {Buss, S. R.},
    BookTitle = {Proceedings of the nineteenth annual ACM symposium on Theory of computing},
    File = {The Boolean formula value problem is in ALOGTIME - Buss (0) (0) - a - a - e.pdf},
    ISBN = {0-89791-221-7},
    Location = {New York, New York, USA},
    Pages = {123--131},
    Publisher = {ACM},
    Series = {STOC '87},
    Title = {The Boolean formula value problem is in ALOGTIME},
    URL = {http://doi.acm.org/10.1145/28395.28409},
    Year = {1987},
    acmid = {28409},
    bdsk-url-1 = {http://doi.acm.org/10.1145/28395.28409},
    bdsk-url-2 = {http://dx.doi.org/10.1145/28395.28409},
    date-added = {2013-07-01 15:17:43 +0000},
    date-modified = {2013-07-01 15:17:43 +0000},
    numpages = {9},
    doi = {10.1145/28395.28409}
}

@inproceedings{Buss:1987:BFV:28395.28409, Address = {New York, NY, USA}, Author = {Buss, S. R.}, BookTitle = {Proceedings of the nineteenth annual ACM symposium on Theory of computing}, File = {The Boolean formula value problem is in ALOGTIME - Buss (0) (0) - a - a - e.pdf}, ISBN = {0-89791-221-7}, Location = {New York, New York, USA}, Pages = {123--131}, Publisher = {ACM}, Series = {STOC '87}, Title = {The Boolean formula value problem is in ALOGTIME}, URL = {http://doi.acm.org/10.1145/28395.28409}, Year = {1987}, acmid = {28409}, bdsk-url-1 = {http://doi.acm.org/10.1145/28395.28409}, bdsk-url-2 = {http://dx.doi.org/10.1145/28395.28409}, date-added = {2013-07-01 15:17:43 +0000}, date-modified = {2013-07-01 15:17:43 +0000}, numpages = {9}, doi = {10.1145/28395.28409} }