Things Tagged computational-complexity (1)

F

Finite model reasoning in DL-Lite (Article)