@InProceedings{tenTeije:96KR,