On the complexity of simulating auxiliary input
scientific article; zbMATH DE number 6904618