@inproceedings{xi97plilp,
author = "Xi, H.",
title = "Evaluation under lambda-abstraction",
booktitle = "9th International Symposium on Programming Languages,
             Implementations, Logics, and Programs",
series = "Lecture Notes in Computer Science",
volume = "1292",
pages = "259--273",
year = 1997,
month = "September",
place = "Southampton"
}