@misc{indiciaeabe267e8429c, title = {The average value inequality in sequential effect algebras}, author = {Shen Jun and Wu Junde}, year = {2009}, url = {https://arxiv.org/abs/0903.5115}, note = {Source identifier: 0903.5115} }