Source: https://www.ims.tuwien.ac.at/publications/tuw-138729.pdf