Yet another LPO/KBO-based termination tool written in Haskell.
https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=19S&lvnr_id_in=703602
C Recap including Software Development Principles and more
