%0 Journal Article %1 journals/afp/Preoteasa11 %A Preoteasa, Viorel %D 2011 %J Arch. Formal Proofs %K dblp %T Lattice Properties. %U http://dblp.uni-trier.de/db/journals/afp/afp2011.html#Preoteasa11 %V 2011

@article{journals/afp/Preoteasa11, added-at = {2020-05-25T00:00:00.000+0200}, author = {Preoteasa, Viorel}, biburl = {https://www.bibsonomy.org/bibtex/2f7b8e14aee7729421fc0326f86f6b1fe/dblp}, ee = {https://www.isa-afp.org/entries/LatticeProperties.shtml}, interhash = {2ba00c3f70c59ad6335d6af54a997f24}, intrahash = {f7b8e14aee7729421fc0326f86f6b1fe}, journal = {Arch. Formal Proofs}, keywords = {dblp}, note = {Formal proof development}, timestamp = {2020-05-26T11:50:12.000+0200}, title = {Lattice Properties.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2011.html#Preoteasa11}, volume = 2011, year = 2011 }