On the Complexity of Equivalence and Minimisation for Q-weighted Automata (Logical Methods in Computer Science, 2013)