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