Erez Petrank Gábor Tardos On the Knowledge Complexity of <i>NP</i>. 83-121 2002 22 Combinatorica 1 http://link.springer.de/link/service/journals/00493/bibs/2022001/20220083.htm db/journals/combinatorica/combinatorica22.html#PetrankT02