Efficient rational proofs for space bounded computations
scientific article; zbMATH DE number 6798998