Batch checking with applications to linear functions
scientific article; zbMATH DE number 92096