A Fragment of Dependence Logic Capturing Polynomial Time (Logical Methods in Computer Science, 2014)