%0 Conference Paper %1 conf/icci/LeeW93 %A Lee, Shie-Jue %A Wu, Chih-Hung %B ICCI %D 1993 %E Abou-Rabia, Osman %E Chang, Carl K. %E Koczkodaj, Waldemar W. %I IEEE Computer Society %K dblp %P 299-304 %T Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. %U http://dblp.uni-trier.de/db/conf/icci/icci1993.html#LeeW93 %@ 0-8186-4212-2

@inproceedings{conf/icci/LeeW93, added-at = {2002-03-21T00:00:00.000+0100}, author = {Lee, Shie-Jue and Wu, Chih-Hung}, biburl = {https://www.bibsonomy.org/bibtex/26032d0ec7d347dfb32a3d3196af9d908/dblp}, booktitle = {ICCI}, crossref = {conf/icci/1993}, date = {2002-03-21}, description = {dblp}, editor = {Abou-Rabia, Osman and Chang, Carl K. and Koczkodaj, Waldemar W.}, interhash = {dcec203f534070460e1e51205f8aadb8}, intrahash = {6032d0ec7d347dfb32a3d3196af9d908}, isbn = {0-8186-4212-2}, keywords = {dblp}, pages = {299-304}, publisher = {IEEE Computer Society}, timestamp = {2002-03-21T00:00:00.000+0100}, title = {Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures.}, url = {http://dblp.uni-trier.de/db/conf/icci/icci1993.html#LeeW93}, year = 1993 }