Our paper on efficiently computing directed minimum spanning trees (arboresence) has been accepted for publication at ALENEX 2023. Check out the final version here.