Arthur-Merlin games in Boolean decision trees | IEEE Conference Publication | IEEE Xplore