Generators and relations for n-qubit Clifford operators (Logical Methods in Computer Science, 2015)