Incremental branching programs
scientific article; zbMATH DE number 5288690
scientific article