and Arvind. Compilation of Id \Gamma : a Subset of Id (1990)

by Z M Ariola