https://5dok.net/document/7q0kj2vy-infinitary-combinatory-reduction-systems-normalising-reduction-strategies.html