@article{Kolaitis-Papadimitriou/90,
AUTHOR = {Kolaitis, Phokion G. and Papadimitriou, Christos H.},
TITLE = {Some computational aspects of circumscription},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {1-14},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cosmadakis-Kanellakis-Vardi/90,
AUTHOR = {Cosmadakis, Stavros S. and Kanellakis, Paris C. and Vardi, Moshe Y.},
TITLE = {Polynomial-time implication problems for unary inclusion dependencies},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {15-46},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jaffar/90,
AUTHOR = {Jaffar, Joxan},
TITLE = {Minimal and complete word unification},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {47-85},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Halpern-Williams-Wimmers/90,
AUTHOR = {Halpern, Joseph Y. and Williams, John H. and Wimmers, Edward L.},
TITLE = {Completeness of rewrite rules and rewrite strategies for FP},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {86-143},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Knessl-Tier/90,
AUTHOR = {Knessl, Charles and Tier, Charles},
TITLE = {Asymptotic expansions for large closed queueing networks},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {144-174},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mate/90,
AUTHOR = {M{\'a}t{\'e}, Attila},
TITLE = {Nondeterministic polynomial-time computations and models of arithmetic},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {1},
PAGES = {175-193},
YEAR = {1990, January},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Davis/90,
AUTHOR = {Davis, H.W.},
TITLE = {Cost-error relationships in $A^*$ tree-searching},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {195-199},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chazelle/90,
AUTHOR = {Chazelle, B.},
TITLE = {Lower bounds for orthogonal range searching: I. The reporting case},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {200-212},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ahuja-Mehlhorn-Orlin-Tarjan/90,
AUTHOR = {Ahuja, R.K. and Mehlhorn, K. and Orlin, J.B. and Tarjan, R.E.},
TITLE = {Faster algorithms for the shortest path problem},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {213-223},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bollobas-Broder-Simon/90,
AUTHOR = {Bollob{\'a}s, B. and Broder, A.Z. and Simon, I.},
TITLE = {The cost distribution of clustering in random probing},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {224-237},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Awerbuch-Goldreich-Peleg-Vainish/90,
AUTHOR = {Awerbuch, B. and Goldreich, O. and Peleg, D. and Vainish, R.},
TITLE = {A trade-off between information and communication in broadcast protocols},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {238-256},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Herlihy/90,
AUTHOR = {Herlihy, M.},
TITLE = {Concurrency and availability as dual properties of replicated atomic data},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {257-278},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Abadi-Manna/90,
AUTHOR = {Abadi, M. and Manna, Z.},
TITLE = {Nonclausal deduction in first-order temporal logic},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {279-317},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Shahrokhi-Matula/90,
AUTHOR = {Shahrokhi, F. and Matula, D.},
TITLE = {The maximum concurrent flow problem},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {318-334},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bergstra-Heering-Klint/90,
AUTHOR = {Bergstra, J. and Heering, J. and Klint, P.},
TITLE = {Module algebra},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {335-372},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Baccelli-Liu/90,
AUTHOR = {Baccelli, F. and Liu, Z.},
TITLE = {On the execution of parallel programs on multiprocessor systems---a queueing theory approach},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {373-414},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ko/90a,
AUTHOR = {Ko, K.-I.},
TITLE = {Separating and collapsing results on the relativized probabilistic polynomial-time hierarchy},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {2},
PAGES = {415-438},
YEAR = {1990, April},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chazelle/90a,
AUTHOR = {Chazelle, B.},
TITLE = {Lower bounds for orthogonal range searching II: The arithmetic model},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {439-463},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Larmore-Hirschberg/90,
AUTHOR = {Larmore, L.L. and Hirschberg, D.S.},
TITLE = {A fast algorithm for optimal length-limited Huffman codes},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {464-473},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Graham-Wang/90,
AUTHOR = {Graham, M.H. and Wang, K.},
TITLE = {On the equivalence of an egd to a set of fd's},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {474-490},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ryu-Thomasian/90,
AUTHOR = {Ryu, I.K. and Thomasian, A.},
TITLE = {Analysis of database performance with dynamic locking},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {491-523},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Attiya-Bar-Noy-Dolev-Peleg-Reischuk/90,
AUTHOR = {Attiya, H. and Bar-Noy, A. and Dolev, D. and Peleg, D. and Reischuk, R.},
TITLE = {Renaming in an asynchronous environment},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {524-548},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Halpern-Moses/90,
AUTHOR = {Halpern, J.Y. and Moses, Y.},
TITLE = {Knowledge and common knowledge in a distributed environment},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {549-587},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{uresin-Dubois/90,
AUTHOR = {{\"u}resin, A. and Dubois, M.},
TITLE = {Parallel asynchronous algorithms for discrete data},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {588-606},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Orda-Rom/90,
AUTHOR = {Orda, A. and Rom, R.},
TITLE = {Shortest-path and minimum delay algorithms in networks with time-dependent edge-length},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {607-625},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Han-Wagner/90,
AUTHOR = {Han, Y. and Wagner, R.A.},
TITLE = {An efficient and fast parallel-connected component algorithm},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {626-642},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pattipati-Kostreva-Teele/90,
AUTHOR = {Pattipati, K.R. and Kostreva, M.M. and Teele, J.L.},
TITLE = {Approximate mean value analysis algorithms for queueing networks: Existence, uniqueness, and convergence results},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {643-673},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Gurevich-Shelah/90,
AUTHOR = {Gurevich, Y. and Shelah, S.},
TITLE = {Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {3},
PAGES = {674-687},
YEAR = {1990, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Szpankowski/90,
AUTHOR = {Szpankowski, Wojciech},
TITLE = {Patricia tries again revisited},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {691-711},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Briggs/90,
AUTHOR = {Briggs, David A.},
TITLE = {A correction of the termination conditions of the Henschen-Naqvi technique},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {712-719},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Dolev-Reischuk-Strong/90,
AUTHOR = {Dolev, Danny and Reischuk, R{\"u}diger and Strong, H. Raymond},
TITLE = {Early stopping in Byzantine agreement},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {720-741},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Nipkow/90,
AUTHOR = {Nipkow, Tobias},
TITLE = {Unification in primal algebras, their powers and their varieties},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {742-776},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Nadathur-Miller/90,
AUTHOR = {Nadathur, Gopalan and Miller, Dale},
TITLE = {Higher-order Horn clauses},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {777-814},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cockett-Herrera/90,
AUTHOR = {Cockett, J.R.B. and Herrera, J.A.},
TITLE = {Decision tree reduction},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {815-842},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hochbaum-Shanthikumar/90,
AUTHOR = {Hochbaum, Dorit S. and Shanthikumar, J. George},
TITLE = {Convex separable optimization is not much harder than linear optimization},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {843-862},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Harrison-Patel/90,
AUTHOR = {Harrison, Peter G. and Patel, Naresh M.},
TITLE = {The representation of multistage interconnection networks in queuing models of parallel systems},
JOURNAL = {J. ACM},
VOLUME = {37},
NUMBER = {4},
PAGES = {863-898},
YEAR = {1990, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}