BibTeX records: Ralph M. Butler

download as .bib file

@article{DBLP:journals/nar/0002WABBBCCDDGG20,
  author       = {James J. Davis and
                  Alice R. Wattam and
                  Ramy K. Aziz and
                  Thomas S. Brettin and
                  Ralph Butler and
                  Rory Butler and
                  Philippe Chlenski and
                  Neal Conrad and
                  Allan Dickerman and
                  Emily M. Dietrich and
                  Joseph L. Gabbard and
                  Svetlana Gerdes and
                  Andrew Guard and
                  Ronald W. Kenyon and
                  Dustin Machi and
                  Chunhong Mao and
                  Daniel E. Murphy{-}Olson and
                  Marcus Nguyen and
                  Eric K. Nordberg and
                  Gary J. Olsen and
                  Robert Olson and
                  Jamie C. Overbeek and
                  Ross A. Overbeek and
                  Bruce D. Parrello and
                  Gordon D. Pusch and
                  Maulik Shukla and
                  Chris Thomas and
                  Margo VanOeffelen and
                  Veronika Vonstein and
                  Andrew S. Warren and
                  Fangfang Xia and
                  Dawen Xie and
                  Hyun Seung Yoo and
                  Rick Stevens},
  title        = {The {PATRIC} Bioinformatics Resource Center: expanding data and analysis
                  capabilities},
  journal      = {Nucleic Acids Res.},
  volume       = {48},
  number       = {Database-Issue},
  pages        = {D606--D612},
  year         = {2020},
  url          = {https://doi.org/10.1093/nar/gkz943},
  doi          = {10.1093/NAR/GKZ943},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/0002WABBBCCDDGG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijhpca/LuskBP18,
  author       = {Ewing L. Lusk and
                  Ralph Butler and
                  Steven C. Pieper},
  title        = {Evolution of a minimal parallel programming model},
  journal      = {Int. J. High Perform. Comput. Appl.},
  volume       = {32},
  number       = {1},
  pages        = {4--13},
  year         = {2018},
  url          = {https://doi.org/10.1177/1094342017703448},
  doi          = {10.1177/1094342017703448},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijhpca/LuskBP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bcb/LiSB10,
  author       = {Cen Li and
                  Suk Jai Seo and
                  Ralph Butler},
  editor       = {Aidong Zhang and
                  Mark Borodovsky and
                  Gultekin {\"{O}}zsoyoglu and
                  Armin R. Mikler},
  title        = {Hunting for truly relevant articles in bioinformatics literature:
                  a preliminary study},
  booktitle    = {Proceedings of the First {ACM} International Conference on Bioinformatics
                  and Computational Biology, {BCB} 2010, Niagara Falls, NY, USA, August
                  2-4, 2010},
  pages        = {481--483},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1854776.1854864},
  doi          = {10.1145/1854776.1854864},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcb/LiSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdpta/ButlerEP10,
  author       = {Ralph Butler and
                  David Ells and
                  Chrisila C. Pettey},
  editor       = {Hamid R. Arabnia and
                  Steve C. Chiu and
                  George A. Gravvanis and
                  Minoru Ito and
                  Kazuki Joe and
                  Hiroaki Nishikawa and
                  Ashu M. G. Solo},
  title        = {PySMO: Python Shared Memory Objects},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 2010, Las Vegas, Nevada,
                  USA, July 12-15, 2010, 2 Volumes},
  pages        = {203--209},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 07 Dec 2010 09:22:06 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/ButlerEP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdpta/ButlerP07,
  author       = {Ralph Butler and
                  Chrisila C. Pettey},
  editor       = {Hamid R. Arabnia},
  title        = {A Bilingual Theorem Prover for Evaluating {HPC} Systems},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 2007, Las Vegas, Nevada,
                  USA, June 25-28, 2007, Volume 2},
  pages        = {1000--1003},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 12 Dec 2007 09:04:34 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/ButlerP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijhpca/LuskDBLB06,
  author       = {Ewing L. Lusk and
                  Narayan Desai and
                  Rick Bradshaw and
                  Andrew Lusk and
                  Ralph Butler},
  title        = {An Interoperability Approach to System Software, Tools, and Libraries
                  for Clusters},
  journal      = {Int. J. High Perform. Comput. Appl.},
  volume       = {20},
  number       = {3},
  pages        = {401--407},
  year         = {2006},
  url          = {https://doi.org/10.1177/1094342006067473},
  doi          = {10.1177/1094342006067473},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijhpca/LuskDBLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ACMse/ButlerPL06,
  author       = {Ralph Butler and
                  Chrisila C. Pettey and
                  Zach Lowry},
  editor       = {Ronaldo Menezes},
  title        = {{CPVM:} customizable portable virtual machines},
  booktitle    = {Proceedings of the 44st Annual Southeast Regional Conference, 2006,
                  Melbourne, Florida, USA, March 10-12, 2006},
  pages        = {616--619},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1185448.1185583},
  doi          = {10.1145/1185448.1185583},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMse/ButlerPL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ACMse/UntchBP05,
  author       = {Roland H. Untch and
                  Ralph Butler and
                  Chrisila C. Pettey},
  editor       = {M{\'{a}}rio Guimar{\~{a}}es},
  title        = {A small and secure submission system for {UNIX} systems},
  booktitle    = {Proceedings of the 43nd Annual Southeast Regional Conference, 2005,
                  Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1},
  pages        = {341--344},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1167350.1167445},
  doi          = {10.1145/1167350.1167445},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMse/UntchBP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ACMse/DriscollBK04,
  author       = {Joseph A. Driscoll and
                  Ralph M. Butler and
                  Joelle M. Key},
  editor       = {Seong{-}Moo Yoo and
                  Letha H. Etzkorn},
  title        = {A virtual machine environment for teaching the development of system
                  software},
  booktitle    = {Proceedings of the 42nd Annual Southeast Regional Conference, 2004,
                  Huntsville, Alabama, USA, April 2-3, 2004},
  pages        = {440--441},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/986537.986647},
  doi          = {10.1145/986537.986647},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMse/DriscollBK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cluster/ButlerDLL03,
  author       = {Ralph Butler and
                  Narayan Desai and
                  Andrew Lusk and
                  Ewing L. Lusk},
  title        = {The ProcessManagement Component of a Scalable Systems Software Environment},
  booktitle    = {2003 {IEEE} International Conference on Cluster Computing {(CLUSTER}
                  2003), 1-4 December 2003, Kowloon, Hong Kong, China},
  pages        = {190--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CLUSTR.2003.1253315},
  doi          = {10.1109/CLUSTR.2003.1253315},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cluster/ButlerDLL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pc/ButlerGL01,
  author       = {Ralph Butler and
                  William Gropp and
                  Ewing L. Lusk},
  title        = {Components and interfaces of a process management system for parallel
                  programs},
  journal      = {Parallel Comput.},
  volume       = {27},
  number       = {11},
  pages        = {1417--1429},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-8191(01)00097-7},
  doi          = {10.1016/S0167-8191(01)00097-7},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/ButlerGL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hpdc/ToonenALFGGBK01,
  author       = {Brian R. Toonen and
                  David Ashton and
                  Ewing L. Lusk and
                  Ian T. Foster and
                  William Gropp and
                  Edgar Gabriel and
                  Ralph Butler and
                  Nicholas T. Karonis},
  title        = {Interfacing Parallel Jobs to Process Managers},
  booktitle    = {10th {IEEE} International Symposium on High Performance Distributed
                  Computing {(HPDC-10} 2001), 7-9 August 2001, San Francisco, CA, {USA}},
  pages        = {431--432},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HPDC.2001.945212},
  doi          = {10.1109/HPDC.2001.945212},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/ToonenALFGGBK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DC-0102017,
  author       = {Ralph Butler and
                  William Gropp and
                  Ewing L. Lusk},
  title        = {Components and Interfaces of a Process Management System for Parallel
                  Programs},
  journal      = {CoRR},
  volume       = {cs.DC/0102017},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0102017},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0102017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pvm/ButlerGL00,
  author       = {Ralph Butler and
                  William Gropp and
                  Ewing L. Lusk},
  editor       = {Jack J. Dongarra and
                  P{\'{e}}ter Kacsuk and
                  Norbert Podhorszki},
  title        = {A Scalable Process-Management Environment for Parallel Programs},
  booktitle    = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
                  7th European {PVM/MPI} Users' Group Meeting, Balatonf{\"{u}}red,
                  Hungary, September 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1908},
  pages        = {168--175},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45255-9\_25},
  doi          = {10.1007/3-540-45255-9\_25},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pvm/ButlerGL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ButlerO94,
  author       = {Ralph Butler and
                  Ross A. Overbeek},
  title        = {Formula Databases for High-Performance Resolution/Paramodulation Systems},
  journal      = {J. Autom. Reason.},
  volume       = {12},
  number       = {2},
  pages        = {139--156},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF00881885},
  doi          = {10.1007/BF00881885},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ButlerO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pc/ButlerL94,
  author       = {Ralph Butler and
                  Ewing L. Lusk},
  title        = {Monitors, Messages, and Clusters: The p4 Parallel Programming System},
  journal      = {Parallel Comput.},
  volume       = {20},
  number       = {4},
  pages        = {547--564},
  year         = {1994},
  url          = {https://doi.org/10.1016/0167-8191(94)90028-0},
  doi          = {10.1016/0167-8191(94)90028-0},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/ButlerL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hpdc/ButlerLL93,
  author       = {Ralph Butler and
                  Alan L. Leveton and
                  Ewing L. Lusk},
  title        = {P4-Linda: {A} Portable Implementation of Linda},
  booktitle    = {Proceedings of the Second International Symposium on High Performance
                  Distributed Computing, {HPDC} '93, Spokane, WA, USA, July 20-23, 1993},
  pages        = {50--58},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/HPDC.1993.263858},
  doi          = {10.1109/HPDC.1993.263858},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/hpdc/ButlerLL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/LuskBDOOSWCSH90,
  author       = {Ewing L. Lusk and
                  Ralph Butler and
                  Terrence Disz and
                  Robert Olson and
                  Ross A. Overbeek and
                  Rick Stevens and
                  David H. D. Warren and
                  Alan Calderwood and
                  P{\'{e}}ter Szeredi and
                  Seif Haridi},
  title        = {The Aurora or-parallel Prolog system},
  journal      = {New Gener. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {243--271},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF03037208},
  doi          = {10.1007/BF03037208},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/LuskBDOOSWCSH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WosWMOLSB90,
  author       = {Larry Wos and
                  Steve Winker and
                  William McCune and
                  Ross A. Overbeek and
                  Ewing L. Lusk and
                  Rick L. Stevens and
                  Ralph Butler},
  editor       = {Mark E. Stickel},
  title        = {Automated Reasoning Contributed to Mathematics and Logic},
  booktitle    = {10th International Conference on Automated Deduction, Kaiserslautern,
                  FRG, July 24-27, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {449},
  pages        = {485--499},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52885-7\_109},
  doi          = {10.1007/3-540-52885-7\_109},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/WosWMOLSB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ButlerFJO90,
  author       = {Ralph Butler and
                  Ian T. Foster and
                  Anita Jindal and
                  Ross A. Overbeek},
  editor       = {Mark E. Stickel},
  title        = {A High-Performance Parallel Theorem Prover},
  booktitle    = {10th International Conference on Automated Deduction, Kaiserslautern,
                  FRG, July 24-27, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {449},
  pages        = {649--650},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52885-7\_124},
  doi          = {10.1007/3-540-52885-7\_124},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/ButlerFJO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ButlerLO88,
  author       = {Ralph Butler and
                  Rasiah Loganantharaj and
                  Robert Olson},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Notes on Prolog Program Transformations, Prolog Style, and Efficient
                  Compilation to The Warren Abstract Machine},
  booktitle    = {9th International Conference on Automated Deduction, Argonne, Illinois,
                  USA, May 23-26, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {310},
  pages        = {323--332},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0012840},
  doi          = {10.1007/BFB0012840},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ButlerLO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ButlerK88,
  author       = {Ralph Butler and
                  Nicholas T. Karonis},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Exploitation of Parallelism in Prototypical Deduction Problems},
  booktitle    = {9th International Conference on Automated Deduction, Argonne, Illinois,
                  USA, May 23-26, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {310},
  pages        = {333--343},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0012841},
  doi          = {10.1007/BFB0012841},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ButlerK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fgcs/LuskBDOOSWCSHBCCH88,
  author       = {Ewing L. Lusk and
                  Ralph Butler and
                  Terry Disz and
                  Robert Olson and
                  Ross A. Overbeek and
                  Rick L. Stevens and
                  David H. D. Warren and
                  Alan Calderwood and
                  P{\'{e}}ter Szeredi and
                  Seif Haridi and
                  Per Brand and
                  Mats Carlsson and
                  Andrzej Ciepielewski and
                  Bogumil Hausman},
  title        = {The Aurora Or-Parallel Prolog System},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
  pages        = {819--830},
  publisher    = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
  year         = {1988},
  timestamp    = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/LuskBDOOSWCSHBCCH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ButlerDLOOS88,
  author       = {Ralph Butler and
                  Terry Disz and
                  Ewing L. Lusk and
                  Robert Olson and
                  Ross A. Overbeek and
                  Rick L. Stevens},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Scheduling OR-Parallelism: An Argonne Perspective},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {1590--1605},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Sat, 23 Jun 2018 18:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/ButlerDLOOS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcse/ButlerEW88,
  author       = {Ralph M. Butler and
                  Roger Eggen and
                  Susan R. Wallace},
  editor       = {Herbert L. Dershem},
  title        = {Introducing parallel processing at the undergraduate level},
  booktitle    = {Proceedings of the 19th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 1988, Atlanta, Georgia, USA, February 25-26, 1988},
  pages        = {63--67},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/52964.52981},
  doi          = {10.1145/52964.52981},
  timestamp    = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/ButlerEW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcse/ButlerTW87,
  author       = {Ralph M. Butler and
                  Selden Y. Trimble and
                  Ralph W. Wilkerson},
  editor       = {A. K. Rigler and
                  Daniel C. St. Clair},
  title        = {A logic programming model of the game of sprouts},
  booktitle    = {Proceedings of the 18th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 1987, St. Louis, Missouri, USA, February 19-20,
                  1987},
  pages        = {319--323},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/31820.31779},
  doi          = {10.1145/31820.31779},
  timestamp    = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/ButlerTW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ButlerLMO86,
  author       = {Ralph Butler and
                  Ewing L. Lusk and
                  William McCune and
                  Ross A. Overbeek},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {Paths to High-Performance Automated Theorem Proving},
  booktitle    = {8th International Conference on Automated Deduction, Oxford, England,
                  July 27 - August 1, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {230},
  pages        = {588--597},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16780-3\_123},
  doi          = {10.1007/3-540-16780-3\_123},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ButlerLMO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ButlerLMO86,
  author       = {Ralph Butler and
                  Ewing L. Lusk and
                  William McCune and
                  Ross A. Overbeek},
  editor       = {Ehud Shapiro},
  title        = {Parallel Logic Programming for Numeric Applications},
  booktitle    = {Third International Conference on Logic Programming, Imperial College
                  of Science and Technology, London, United Kingdom, July 14-18, 1986,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {225},
  pages        = {375--388},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16492-8\_88},
  doi          = {10.1007/3-540-16492-8\_88},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/ButlerLMO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/ButlerD85,
  author       = {Ralph Butler and
                  Arlan R. DeKock},
  editor       = {Terry M. Walker and
                  Wayne D. Dominick},
  title        = {Implementaion of a parallel subsumption algorithm (abstract only)},
  booktitle    = {Proceedings of the 13th {ACM} Annual Conference on Computer Science,
                  New Orleans, Louisiana, USA, 1985},
  pages        = {422},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/320599.322473},
  doi          = {10.1145/320599.322473},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/ButlerD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.