Computing Enclosing Depth. - Bernd Gärtner; Fatime Rasiti; Patrick Schnider (CoRR, 2024)