E.: On the complexity of model expansion (0)

by A Kolokolova, Y Liu, D Mitchell, Ternovska
Venue:In: Proc., 17th Int’l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17), Springer (2010) 447–458 LNCS 6397