%0 Conference Paper %1 conf/lics/BoseCLM89 %A Bose, Soumitra %A Clarke, Edmund M. %A Long, David E. %A Michaylov, Spiro %B LICS %D 1989 %I IEEE Computer Society %K dblp %P 80-89 %T PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses %U http://dblp.uni-trier.de/db/conf/lics/lics89.html#BoseCLM89 %@ 0-8186-1954-6

@inproceedings{conf/lics/BoseCLM89, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bose, Soumitra and Clarke, Edmund M. and Long, David E. and Michaylov, Spiro}, biburl = {https://www.bibsonomy.org/bibtex/2406aeacf180099386f65bfec63cbcffc/dblp}, booktitle = {LICS}, crossref = {conf/lics/1989}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1989.39161}, interhash = {65b4aafa725a9df8fe52564359f234c0}, intrahash = {406aeacf180099386f65bfec63cbcffc}, isbn = {0-8186-1954-6}, keywords = {dblp}, pages = {80-89}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:44.000+0200}, title = {PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses}, url = {http://dblp.uni-trier.de/db/conf/lics/lics89.html#BoseCLM89}, year = 1989 }