Straight-line programs: a practical test (extended abstract)
scientific article; zbMATH DE number 6222120