"ML and Extended Branching VASS."

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics