I believe the version published at CGO 19 is the final version. It is longer. https://www.ic.unicamp.br/~ra045840/bolt-cgo19.pdf https://www.ic.unicamp.br/~ra0

I believe the version published at CGO 19 is the final version. It is longer. https://www.ic.unicamp.br/~ra045840/bolt-cgo19.pdf https://www.ic.unicamp.br/~ra045840/bolt-cgo19.pdf