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