An optimal data structure to handle dynamic environments in non-deterministic computations
scientific article; zbMATH DE number 1903507
scientific article