@inproceedings{CFG95b,
title = {An algorithm for reducing binary branchings },
author = {Caspi, Paul and Fernandez, Jean-Claude and Girault, Alain},
month = {Bangalore, December},
year = {1995},
booktitle = {Fifteenth Conference on the Foundations of Software Technology and Theoretical Computer Science, FST\&TCS},
pages = {279 -- 293},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {1026},
team = {SYNC},
}