To be published in RIMS Kokyuroku