Parallele Modelle für Deduktionssysteme. - Ulrich Aßmann (Infix Verlag, St. Augustin, Germany, 1992)

Model Checking with Formula-Dependent Abstract Models. - Alexander Asteroth; Christel Baier; Ulrich Aßmann (CAV, 2001)