Dependence logic vs. constraint satisfactionLauri HellaPhokion G. Kolaitis2016EACSL/CSL 2016Conference paper