Arthur-Merlin games in Boolean decision trees
scientific article; zbMATH DE number 1389790