TY  - RPRT
TI  - A Fragment of Dependence Logic Capturing Polynomial Time
AU  - Johannes Ebbing
AU  - Juha Kontinen
AU  - Julian-Steffen Müller
AU  - Heribert Vollmer
PY  - 2014
DO  - 10.2168/lmcs-10(3:3)2014
UR  - https://arxiv.org/abs/1210.3321
ID  - 1210.3321
ER  -