| 1991 | Cononical Sets of Horn Clauses. | Nachum Dershowitz |
| 1991 | A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. | Pierre-Louis Curien, Roberto Di Cosmo |
| 1991 | Balancing Order and Chaos in Image Generation (Extended Abstract). | Karel Culk II, Simant Dube |
| 1991 | Two P-Complete Problems in the Theory of the Reals. | Felipe Cucker, A. Torrecillas |
| 1991 | Complete Axiomatizations of Some Quotient Term Algebras. | Hubert Comon |
| 1991 | Computing Behavioural Relations, Logically. | Rance Cleaveland, Bernhard Steffen |
| 1991 | Logic Programming with Recurrence Domains. | Hong Chen, Jieh Hsiang |
| 1991 | Ray Shooting in Polygons Using Geodesic Triangulations. | Bernard Chazelle, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas J. Guibas, John Hershberger, Micha Sharir, Jack Snoeyink |
| 1991 | Computational Geometry for the Gourmet: Old Fare and New Dishes. | Bernard Chazelle |
| 1991 | Static on Random Trees. | Rafael Casas, Josep Daz, Conrado Martinez |
| 1991 | Extensional Embedding of a Strongly Stable Model of PCF. | Antonio Bucciarelli, Thomas Ehrhard |
| 1991 | Degree and Decomposability of Variable-Length Codes. | Vronique Bruyre, Clelia de Felice |
| 1991 | Safety for Branching Time Semantics. | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodrguez, Joseph Sifakis |
| 1991 | The Meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |
| 1991 | Better Algorithms for the Pathwidth and Treewidth of Graphs. | Hans L. Bodlaender, Ton Kloks |
| 1991 | Improved Parallel Computations with Matrices and Polynomials. | Dario Bini, Luca Gemignani, Victor Y. Pan |
| 1991 | Computing Shortest Transversals. | Binay K. Bhattacharya, Godfried T. Toussaint |
| 1991 | The Expected Extremes in a Delaunay Triangulation. | Marshall W. Bern, David Eppstein, F. Frances Yao |
| 1991 | The POwer of Reconfiguration. | Yosi Ben-Asher, David Peleg, Rajiv Ramaswami, Assaf Schuster |
| 1991 | Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1991 | Adding Action Refinement to a Finite Process Algebra. | Luca Aceto, Matthew Hennessy |
| 1990 | Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures. | Juraj Wiedermann |
| 1990 | A Formal Study of Learning via Queries. | Osamu Watanabe |
| 1990 | Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. | Rakesh M. Verma, I. V. Ramakrishnan |
| 1990 | Provable Computable Functions on Abstract Data Types. | John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker |