This project is based on the Binary Reduction algorithm from the following paper: Christian Gram Kalhauge and Jens Palsberg. 2019. Binary reduction of dependency graphs. In Proceedings of the 2019 ...