A logical analysis of quantum voting protocols
scientific article; zbMATH DE number 6834020