%0 Journal Article %1 journals/mlq/Schumacher92 %A Schumacher, Klaus %D 1992 %J Math. Log. Q. %K dblp %N 1 %P 373-382 %T Boolean Algebras in AST. %U http://dblp.uni-trier.de/db/journals/mlq/mlq38.html#Schumacher92 %V 38

@article{journals/mlq/Schumacher92, added-at = {2015-02-09T00:00:00.000+0100}, author = {Schumacher, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/2cb7fdeefa40ff44baf384a23590f484e/dblp}, ee = {http://dx.doi.org/10.1002/malq.19920380135}, interhash = {a1b264ff8a76e21cdc8189bdeacebc77}, intrahash = {cb7fdeefa40ff44baf384a23590f484e}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 1, pages = {373-382}, timestamp = {2015-06-17T21:16:34.000+0200}, title = {Boolean Algebras in AST.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq38.html#Schumacher92}, volume = 38, year = 1992 }