Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. - Yoshinori Neya; Noriaki Yoshiura (ICFEM, 2012)