A Navigation Logic for Recursive Programs with Dynamic Thread Creation. - Roman Lakenbrink; Markus Müller-Olm; Christoph Ohrem; Jens Oliver Gutsfeld (VMCAI (2), 2024)