An algorithmic theory of numbers, graphs and convexity - Lovász, László 1948- (National Science Foundation, 1986)