@Inproceedings{EPTCS235.4, author = {Nagae, Yutaro and Sakai, Masahiko and Seki, Hiroyuki}, year = {2017}, title = {An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems}, editor = {Cirstea, Horatiu and Escobar, Santiago}, booktitle = {{\rm Proceedings Third International Workshop on} Rewriting Techniques for Program Transformations and Evaluation, {\rm Porto, Portugal, 23rd June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {235}, publisher = {Open Publishing Association}, pages = {46-61}, doi = {10.4204/EPTCS.235.4}, }