Note that the subscript characters '≤', 'k' and 'n' in the abstract have not copied correctly.
RGMIA digitization. CAVAL 2011
Abstract removed Lyn 25/9/12. Permission granted, in perpetuity, RGMIA verson. liz 6/9/12