A Restriction of Factoring in Binary Resolution. - Arkady Rabinov (CADE, 1988)

First Order Theories of Quantification. - Arkady Rabinov (EPIA, 1989)

Things That Change by Themselves. - Vladimir Lifschitz; Arkady Rabinov (IJCAI, 1989)

Miracles in Formal Theories of Action. - Vladimir Lifschitz; Arkady Rabinov (Artif. Intell., 1989)

A Generalization of Collapsible Cases of Circumscription. - Arkady Rabinov (Artif. Intell., 1989)

What are the Limitations of the Situation Calculus? - Michael Gelfond; Vladimir Lifschitz; Arkady Rabinov (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)