%0 Journal Article %1 journals/igpl/CirauloMT13 %A Ciraulo, Francesco %A Maietti, Maria Emilia %A Toto, Paola %D 2013 %J Logic Journal of the IGPL %K dblp %N 1 %P 44-62 %T Constructive version of Boolean algebra. %U http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#CirauloMT13 %V 21

@article{journals/igpl/CirauloMT13, added-at = {2013-01-29T00:00:00.000+0100}, author = {Ciraulo, Francesco and Maietti, Maria Emilia and Toto, Paola}, biburl = {https://www.bibsonomy.org/bibtex/232c7ed14272ffcbfe52ab19a24d64611/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzs021}, interhash = {d9f08af973433eb6ad48d4c677ad2ff7}, intrahash = {32c7ed14272ffcbfe52ab19a24d64611}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 1, pages = {44-62}, timestamp = {2013-01-30T11:34:47.000+0100}, title = {Constructive version of Boolean algebra.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#CirauloMT13}, volume = 21, year = 2013 }