Lutz Plümer. Automatic Verification of GHC-Programs: Termination. In FGCS. pages 489-496, 1992.
@inproceedings{Plumer92, title = {Automatic Verification of GHC-Programs: Termination}, author = {Lutz Plümer}, year = {1992}, tags = {program verification, termination}, researchr = {https://researchr.org/publication/Plumer92}, cites = {0}, citedby = {0}, pages = {489-496}, booktitle = {FGCS}, }