The top documents tagged [remaining dynamic formal]