The Complexity of Generating and Checking Proffs of Membership.

Harry Buhrman, Thomas Thierauf

Browse the full STACS paper archive.