Relations on computable structures Academic Article uri icon