G. Pfeifer:
"Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs";
Lecture Notes in Computer Science, 2923 (2004), 2923; 220 - 233.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968352
Project Head Thomas Eiter:
Infomix
Project Head Thomas Eiter:
WASP