Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. - Shinnosuke Mizutani; Naoki Nishida 001 (WPTE@FSCD, 2017)