%0 Conference Paper %1 conf/mfcs/LassezMM91 %A Lassez, Jean-Louis %A Maher, Michael J. %A Marriott, Kim %B MFCS %D 1991 %E Tarlecki, Andrzej %I Springer %K dblp %P 1-16 %T Elimination of Negation in Term Algebras. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#LassezMM91 %V 520 %@ 3-540-54345-7

@inproceedings{conf/mfcs/LassezMM91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Lassez, Jean-Louis and Maher, Michael J. and Marriott, Kim}, biburl = {https://www.bibsonomy.org/bibtex/2da7fb448cac365036696ef8d3a2377bf/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1991}, editor = {Tarlecki, Andrzej}, ee = {http://dx.doi.org/10.1007/3-540-54345-7_44}, interhash = {f0732c4704c91197229471ce47672e62}, intrahash = {da7fb448cac365036696ef8d3a2377bf}, isbn = {3-540-54345-7}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-21T11:39:35.000+0100}, title = {Elimination of Negation in Term Algebras.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#LassezMM91}, volume = 520, year = 1991 }