IBYR website http://www.alli.fi/youth/research/ibyr/ moved to a new server
at http://logic.itsc.cuhk.edu.hk/~b114299/