Source: https://formal.iti.kit.edu/~beckert/teaching/Seminar-LogikaufAbwegen-SS04/graf_ausarbeitung.pdf