Michael Gabbay Murdoch Gabbay Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. 701-730 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#GabbayG05