Virtual links are algorithmically recognisable - Vassily Olegovich Manturov (2004)