Ulrich Berger. A domain model characterising strong normalisation. Annals of Pure and Applied Logic, 156(1):39-50, 2008. [doi]
@article{Berger08:1,
title = {A domain model characterising strong normalisation},
author = {Ulrich Berger},
year = {2008},
doi = {10.1016/j.apal.2008.06.005},
url = {http://dx.doi.org/10.1016/j.apal.2008.06.005},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Berger08%3A1},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {156},
number = {1},
pages = {39-50},
}