A method for showing progress
Crossref DOI link: https://doi.org/10.1007/BF01211633
Published Print: 1995-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Leino, K. Rustan M.
Text and Data Mining valid from 1995-09-01