Anuj Dawar On the Descriptive Complexity of Linear Algebra. 17-25 2008 WoLLIC http://dx.doi.org/10.1007/978-3-540-69937-8_2 conf/wollic/2008 db/conf/wollic/wollic2008.html#Dawar08