An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. - Yutaro Nagae; Masahiko Sakai; Hiroyuki Seki (WPTE@FSCD, 2016)

Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. - Yutaro Nagae; Masahiko Sakai (WPTE@FSCD, 2017)