Proof systems that take advice
scientific article; zbMATH DE number 5932316
scientific article