default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jar/jar18.bht:"
download as .bib file
@article{DBLP:journals/jar/Alexander97,
author = {Geoffrey D. Alexander},
title = {{CLIN-E} - Smallest Instance First Hyper-Linking},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {177--182},
year = {1997},
url = {https://doi.org/10.1023/A:1005818927764},
doi = {10.1023/A:1005818927764},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Alexander97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AntoniouL97,
author = {Grigoris Antoniou and
Elmar Langetepe},
title = {A Correct Logic Programming Computation of Default Logic Extensions},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {25--46},
year = {1997},
url = {https://doi.org/10.1023/A:1005771523328},
doi = {10.1023/A:1005771523328},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AntoniouL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChuP97,
author = {Heng Chu and
David A. Plaisted},
title = {{CLIN-S} - {A} Semantically Guided First-Order Theorem Prover},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {183--188},
year = {1997},
url = {https://doi.org/10.1023/A:1005875128672},
doi = {10.1023/A:1005875128672},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChuP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Dafa97,
author = {Li Dafa},
title = {Unification Algorithms for Eliminating and Introducing Quantifiers
in Natural Deduction Automated Theorem Proving},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {105--134},
year = {1997},
url = {https://doi.org/10.1023/A:1005749401809},
doi = {10.1023/A:1005749401809},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Dafa97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DenzingerKS97,
author = {J{\"{o}}rg Denzinger and
Martin Kronenburg and
Stephan Schulz},
title = {{DISCOUNT} - {A} Distributed and Learning Equational Prover},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {189--198},
year = {1997},
url = {https://doi.org/10.1023/A:1005879229581},
doi = {10.1023/A:1005879229581},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DenzingerKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DohertyLS97,
author = {Patrick Doherty and
Witold Lukaszewicz and
Andrzej Szalas},
title = {Computing Circumscription Revisited: {A} Reduction Algorithm},
journal = {J. Autom. Reason.},
volume = {18},
number = {3},
pages = {297--336},
year = {1997},
url = {https://doi.org/10.1023/A:1005722130532},
doi = {10.1023/A:1005722130532},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/DohertyLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FinnFL97,
author = {Simon Finn and
Michael P. Fourman and
John Longley},
title = {Partial Functions in a Total Setting},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {85--104},
year = {1997},
url = {https://doi.org/10.1023/A:1005702928286},
doi = {10.1023/A:1005702928286},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FinnFL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GeislerPS97,
author = {Tim Geisler and
Sven Panne and
Heribert Sch{\"{u}}tz},
title = {Satchmo - The Compiling and Functional Variants},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {227--236},
year = {1997},
url = {https://doi.org/10.1023/A:1005851801356},
doi = {10.1023/A:1005851801356},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GeislerPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Greenbaum97,
author = {Steve Greenbaum},
title = {Violet},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {259--264},
year = {1997},
url = {https://doi.org/10.1023/A:1005820421829},
doi = {10.1023/A:1005820421829},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Greenbaum97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HillenbrandBVL97,
author = {Thomas Hillenbrand and
Arnim Buch and
Roland Vogt and
Bernd L{\"{o}}chner},
title = {{WALDMEISTER} - High-Performance Equational Deduction},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {265--270},
year = {1997},
url = {https://doi.org/10.1023/A:1005872405899},
doi = {10.1023/A:1005872405899},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HillenbrandBVL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hines97,
author = {Larry M. Hines},
title = {A Tribute to Woody Bledsoe},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {1--4},
year = {1997},
url = {https://doi.org/10.1023/A:1005712718688},
doi = {10.1023/A:1005712718688},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hines97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HouHTK97,
author = {Rong{-}Huei Hou and
Tzung{-}Pei Hong and
Shian{-}Shyong Tseng and
Sy{-}Yen Kuo},
title = {A New Probabilistic Induction Method},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {5--24},
year = {1997},
url = {https://doi.org/10.1023/A:1005726727996},
doi = {10.1023/A:1005726727996},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HouHTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hutter97,
author = {Dieter Hutter},
title = {Coloring Terms to Control Equational Reasoning},
journal = {J. Autom. Reason.},
volume = {18},
number = {3},
pages = {399--442},
year = {1997},
url = {https://doi.org/10.1023/A:1005772217686},
doi = {10.1023/A:1005772217686},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hutter97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Letz97,
author = {Reinhold Letz},
title = {{LINUS} - {A} Link Instantion Prover with Unit Support},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {205--210},
year = {1997},
url = {https://doi.org/10.1023/A:1005839531398},
doi = {10.1023/A:1005839531398},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Letz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/McCuneW97,
author = {William McCune and
Larry Wos},
title = {Otter - The {CADE-13} Competition Incarnations},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {211--220},
year = {1997},
url = {https://doi.org/10.1023/A:1005843632307},
doi = {10.1023/A:1005843632307},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/McCuneW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MoserILSGSM97,
author = {Max Moser and
Ortrun Ibens and
Reinhold Letz and
Joachim Steinbach and
Christoph Goller and
Johann Schumann and
Klaus Mayr},
title = {{SETHEO} and {E-SETHEO} - The {CADE-13} Systems},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {237--246},
year = {1997},
url = {https://doi.org/10.1023/A:1005808119103},
doi = {10.1023/A:1005808119103},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MoserILSGSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NieuwenhuisRV97,
author = {Robert Nieuwenhuis and
Jos{\'{e}} Miguel Rivero and
Miguel {\'{A}}ngel Vallejo},
title = {Barcelona},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {171--176},
year = {1997},
url = {https://doi.org/10.1023/A:1005862710017},
doi = {10.1023/A:1005862710017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NieuwenhuisRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ParamasivamP97,
author = {M. Paramasivam and
David A. Plaisted},
title = {{RRTP} - {A} Replacement Rule Theorem Prover},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {221--226},
year = {1997},
url = {https://doi.org/10.1023/A:1005847700447},
doi = {10.1023/A:1005847700447},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ParamasivamP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PelletierS97,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe},
title = {An Erratum for Some Errata to {ATP} Problems},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {135},
year = {1997},
url = {https://doi.org/10.1023/A:1005764705033},
doi = {10.1023/A:1005764705033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PelletierS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PelletierSS97,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe and
Christian B. Suttner},
title = {Conclusions about the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {287--296},
year = {1997},
url = {https://doi.org/10.1023/A:1005876506808},
doi = {10.1023/A:1005876506808},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PelletierSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RameshBHM97,
author = {Anavai Ramesh and
Bernhard Beckert and
Reiner H{\"{a}}hnle and
Neil V. Murray},
title = {Fast Subsumption Checks Using Anti-Links},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {47--83},
year = {1997},
url = {https://doi.org/10.1023/A:1005711712356},
doi = {10.1023/A:1005711712356},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RameshBHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RameshBM97,
author = {Anavai Ramesh and
George Becker and
Neil V. Murray},
title = {{CNF} and {DNF} Considered Harmful for Computing Prime Implicants/Implicates},
journal = {J. Autom. Reason.},
volume = {18},
number = {3},
pages = {337--356},
year = {1997},
url = {https://doi.org/10.1023/A:1005721905269},
doi = {10.1023/A:1005721905269},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RameshBM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Suchenek97,
author = {Marek A. Suchenek},
title = {Evaluation of Queries under Closed-World Assumption},
journal = {J. Autom. Reason.},
volume = {18},
number = {3},
pages = {357--398},
year = {1997},
url = {https://doi.org/10.1023/A:1005723423016},
doi = {10.1023/A:1005723423016},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Suchenek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {137--138},
year = {1997},
url = {https://doi.org/10.1023/A:1005839515219},
doi = {10.1023/A:1005839515219},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97a,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Design of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {139--162},
year = {1997},
url = {https://doi.org/10.1023/A:1005802523220},
doi = {10.1023/A:1005802523220},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97b,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Procedures of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {163--169},
year = {1997},
url = {https://doi.org/10.1023/A:1005858625038},
doi = {10.1023/A:1005858625038},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97c,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Results - of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {271--286},
year = {1997},
url = {https://doi.org/10.1023/A:1005824522737},
doi = {10.1023/A:1005824522737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Suttner97,
author = {Christian B. Suttner},
title = {{SPTHEO} - {A} Parallel Theorem Prover},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {253--258},
year = {1997},
url = {https://doi.org/10.1023/A:1005868304990},
doi = {10.1023/A:1005868304990},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Suttner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Tammet97,
author = {Tanel Tammet},
title = {Gandalf},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {199--204},
year = {1997},
url = {https://doi.org/10.1023/A:1005887414560},
doi = {10.1023/A:1005887414560},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Tammet97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Weidenbach97,
author = {Christoph Weidenbach},
title = {{SPASS} - Version 0.49},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {247--252},
year = {1997},
url = {https://doi.org/10.1023/A:1005812220011},
doi = {10.1023/A:1005812220011},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Weidenbach97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-14 10:55 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
