@inproceedings{xi97tlca,
author = "Xi, Hongwei",
title = "Weak and Strong Beta Normalisations in Typed Lambda-Calculi",
booktitle = "the 3rd International Conference on
             Typed Lambda Calculi and Applications",
series = "Lecture Notes in Computer Science",
volume = "1210",
pages = "390-404",
place = "Nancy"
}