%0 Conference Paper %1 conf/birthday/MannaSW91 %A Manna, Zohar %A Stickel, Mark E. %A Waldinger, Richard %B Artificial and Mathematical Theory of Computation %D 1991 %E Lifschitz, Vladimir %I Academic Press / Elsevier %K dblp %P 261-280 %T Monotonicity Properties in Automated Deduction. %U http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#MannaSW91 %@ 978-0-12-450010-5

@inproceedings{conf/birthday/MannaSW91, added-at = {2019-06-26T00:00:00.000+0200}, author = {Manna, Zohar and Stickel, Mark E. and Waldinger, Richard}, biburl = {https://www.bibsonomy.org/bibtex/259d7262f17baafef5957bb247da032e5/dblp}, booktitle = {Artificial and Mathematical Theory of Computation}, crossref = {conf/birthday/1991mccarthy}, editor = {Lifschitz, Vladimir}, ee = {https://doi.org/10.1016/b978-0-12-450010-5.50021-9}, interhash = {027761dd99d5c25952222156a7fd7c2f}, intrahash = {59d7262f17baafef5957bb247da032e5}, isbn = {978-0-12-450010-5}, keywords = {dblp}, pages = {261-280}, publisher = {Academic Press / Elsevier}, timestamp = {2019-06-27T11:40:04.000+0200}, title = {Monotonicity Properties in Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#MannaSW91}, year = 1991 }