%0 Conference Paper %1 conf/ssdbm/ButlerI90 %A Butler, Gregory %A Iyer, Sridhar S. %B SSDBM %D 1990 %E Michalewicz, Zbigniew %I Springer %K dblp %P 50-64 %T Deductive Mathematical Databases - A Case Study. %U http://dblp.uni-trier.de/db/conf/ssdbm/ssdbm90.html#ButlerI90 %V 420 %@ 3-540-52342-1

@inproceedings{conf/ssdbm/ButlerI90, added-at = {2022-04-21T00:00:00.000+0200}, author = {Butler, Gregory and Iyer, Sridhar S.}, biburl = {https://www.bibsonomy.org/bibtex/2fe00e532b99ec161dfb77b033b714254/dblp}, booktitle = {SSDBM}, cdrom = {SSDBM90/P050.pdf}, cite = {...}, crossref = {conf/ssdbm/90}, editor = {Michalewicz, Zbigniew}, ee = {https://dl.acm.org/doi/10.5555/646493.695279}, interhash = {b284d2ef21aae9be22dc19ab2c0affec}, intrahash = {fe00e532b99ec161dfb77b033b714254}, isbn = {3-540-52342-1}, keywords = {dblp}, pages = {50-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:37:35.000+0200}, title = {Deductive Mathematical Databases - A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/ssdbm/ssdbm90.html#ButlerI90}, volume = 420, year = 1990 }