Aija Berzina Richard F. Bonner Ambainis-Freivalds' Algorithm for Measure-Once Automata. 83-93 2001 conf/fct/2001 FCT http://link.springer.de/link/service/series/0558/bibs/2138/21380083.htm db/conf/fct/fct2001.html#BerzinaB01