M. Seidl:
"A Solver for QBFs in Nonprenex Form";
Poster: Doctoral Consortium at the KR 2006, Lake District, UK; 02.06.2006 - 05.06.2006.
http://www.big.tuwien.ac.at/research/publications/2006/3306.pdf
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration