Foetus – Termination Checker for Simple Functional Programs (1998) [pdf]www2.tcs.ifi.lmu.de1 point·anqurvanillapy··0 commentsOpen articleSaveView on HN