Hélène Kirchner, Isabelle Gnaedig
Termination and normalisation under strategy Proofs in ELAN
WRLA, 2000.
@article{WRLA-2000-KirchnerG,
author = "Hélène Kirchner and Isabelle Gnaedig",
doi = "10.1016/S1571-0661(05)80124-0",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "93--120",
title = "{Termination and normalisation under strategy Proofs in ELAN}",
volume = 36,
year = 2000,
}