Glushkov's evidence algorithm
scientific article; zbMATH DE number 6361661
scientific article