Title: Logikkalk�le in der Informatik: Wie wird Logik vom Rechner genutzt?, Author: Michael Schenke
Title: Speichereffizienter Aufbau von bin�ren Entscheidungsdiagrammen, Author: Rune Krauss