and (1993)

by Martin Dietzfelbinger , Torben Hagerup , Jyrki Katajainen , Martti Penttonen