On the Complexity of Model Expansion.

Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska

Browse the full LPAR paper archive.