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.
Zohar | Manna Dey | Zohar Fresco | Samla Mammas Manna | Operations Manna and Chowhound | Michael Bar-Zohar | Manna | Israel Zohar | Zohar Strauss | Zohar Manna | Zohar Argov | Zohar Amar | ''The Manna Machine'' | Paolo Manna | manna | Danah Zohar | Alma Zohar |