Coherence and complexity in fragments of dependence logic

Kontinen, J. A. 2010. Coherence and complexity in fragments of dependence logic. Ph.D. dissertation. University of Helsinki.

2010