@inproceedings{sel127,
    author = {井上克郎 and 鳥居宏次},
    title = {関数型プログラムにおける配列更新性判定の一手法},
    booktitle = {電子情報通信学会１９９１年春季全国大会},
    year = 1991,
    month = mar,
}