Loading paper
A decision functional for multitime controllability | Tomesphere