| 2011 | IUI | Deducing answers to english questions from structured data. | Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Richard J. Waldinger, Amar Das |
| 2007 | LPAR | Whatever Happened to Deductive Question Answering? | Richard J. Waldinger |
| 2000 | AAAI | Using Prior Knowledge: Problems and Solutions. | Vinay K. Chaudhri, Mark E. Stickel, Jrme Thomr, Richard J. Waldinger |
| 1994 | CADE | Deductive Composition of Astronomical Software from Subroutine Libraries. | Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood |
| 1992 | CADE | The Special-Relation Rules are Incomplete. | Zohar Manna, Richard J. Waldinger |
| 1990 | CADE | Tutorial on Program-Synthetic Deduction. | Richard J. Waldinger |
| 1988 | SIGMOD | A Transaction Logic for Database Specification. | Xiaolei Qian, Richard J. Waldinger |
| 1987 | AAAI | The Deductive Synthesis of Imperative LISP Programs. | Zohar Manna, Richard J. Waldinger |
| 1986 | CADE | How to Clear a Block: Plan Formation in Situational Logic. | Zohar Manna, Richard J. Waldinger |
| 1986 | LICS | Towards Deductive Synthesis of Dataflow Networks | Bengt Jonsson, Zohar Manna, Richard J. Waldinger |
| 1985 | ICALP | Special Relations in Automated Deduction. | Zohar Manna, Richard J. Waldinger |
| 1985 | IJCAI | The Origin of the Binary-Search Paradigm. | Zohar Manna, Richard J. Waldinger |
| 1978 | ICSE | The Synthesis of Structure Changing Programs. | Zohar Manna, Richard J. Waldinger |
| 1977 | IJCAI | The Automatic Synthesis of Systems of Recursive Programs. | Zohar Manna, Richard J. Waldinger |
| 1976 | ICSE | Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. | Zohar Manna, Richard J. Waldinger |
| 1975 | IJCAI | Knowledge and Reasoning in Program Synthesis. | Richard J. Waldinger, Zohar Manna |
| 1973 | POPL | Reasoning About Programs. | Richard J. Waldinger, Karl N. Levitt |
| 1969 | IJCAI | PROW: A Step Toward Automatic Program Writing. | Richard J. Waldinger, Richard C. T. Lee |