@misc{indiciae2c66262fad1e, title = {A Fragment of Dependence Logic Capturing Polynomial Time}, author = {Johannes Ebbing and Juha Kontinen and Julian-Steffen Müller and Heribert Vollmer}, year = {2014}, doi = {10.2168/lmcs-10(3:3)2014}, url = {https://arxiv.org/abs/1210.3321}, note = {Source identifier: 1210.3321} }