"Solving Modular Model Expansion Tasks"

Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics