@inproceedings{CFG95a,
title = {An Algorithm for Reducing Binary Branchings },
author = {Caspi, Paul and Fernandez, Jean-Claude and Girault, Alain},
year = {1995},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, FSTTCS, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
pages = {279 -- 293},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1026},
team = {DCS},
}