@article{BovaMontagna09,
 author = {Simone Bova and
Franco Montagna},
 journal = {Theor. Comput. Sci.},
 number = {12-13},
 pages = {1143–1158},
 title = {The consequence relation in the logic of commutative GBL-algebras
is {PSPACE}-complete},
 volume = {410},
 year = {2009}
}