Complexity results for explanations in the structural-model approach (2002)

by T Eiter, T Lukasiewicz
Venue:In Proceedings KR02