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