PaperSolving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location ProblemsYuri Gurevich, Larry Stockmeyer, et al.Journal of the ACM
PaperCosmological lower bound on the circuit complexity of a small problem in logicLarry Stockmeyer, Albert R. MeyerJournal of the ACM
PaperFinite State Verifiers I: The Power of InteractionCynthia Dwork, Larry StockmeyerJournal of the ACM