Unter http://www.cs.kuleuven.ac.be/~phil/GI/ gibts eine ausführliche (englischsprachige) Formelübersicht.