An algorithmic theory of numbers graphs and convexity - Lovász, László 1948- (1985)