In collaboration with Zohar Manna, of Stanford University, Waldinger developed nonclausal resolution, a form of resolution that did not require the translation of logical sentences into a restricted clausal form.
Richard Nixon | Richard Wagner | Richard Strauss | Richard Branson | Cliff Richard | Richard Gere | Richard Burton | Richard Hammond | Richard | Richard Dawkins | Little Richard | Richard Feynman | Richard Attenborough | Richard M. Daley | Richard I of England | Richard Thompson | Richard Francis Burton | Richard Thompson (musician) | Richard Pryor | Richard Linklater | Richard III of England | Richard Petty | Richard II | Richard II of England | Richard E. Byrd | Maurice Richard Arena | Muhal Richard Abrams | Richard Herring | Richard Wright | Richard Stallman |