"Synthesis and Verification of Constraints in the PGM Protocol."

Marc Boyer, Mihaela Sighireanu (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics