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