https://123dok.net/document/y8gxm9k2-slider-an-efficient-incremental-reasoner.html