Michael Gabbay, Murdoch Gabbay. Some Formal Considerations on Gabbay s Restart Rule in Natural Deduction and Goal-Directed Reasoning. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pages 701-730, College Publications, 2005.
Abstract is missing.