Marek KarpinskiRustam Mubarakzjanov A Note on Las Vegas OBDDs Electronic Colloquium on Computational Complexity (ECCC) 1999 9 6 db/journals/eccc/eccc6.html#ECCC-TR99-009 http://eccc.hpi-web.de/eccc-reports/1999/TR99-009/index.html