Stefano Aguzzoli, Simone Bova. Schauder Hats for the Two-Variable Fragment of BL. In 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. pages 27-32, IEEE Computer Society, 2010. [doi]
@inproceedings{AguzzoliB10, title = {Schauder Hats for the Two-Variable Fragment of BL}, author = {Stefano Aguzzoli and Simone Bova}, year = {2010}, doi = {10.1109/ISMVL.2010.14}, url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2010.14}, researchr = {https://researchr.org/publication/AguzzoliB10}, cites = {0}, citedby = {0}, pages = {27-32}, booktitle = {40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4024-5}, }