BibTeX records: Lee Naish

download as .bib file

@article{DBLP:journals/spe/NeelofarNR18,
  author       = {Neelofar and
                  Lee Naish and
                  Kotagiri Ramamohanarao},
  title        = {Spectral-based fault localization using hyperbolic function},
  journal      = {Softw. Pract. Exp.},
  volume       = {48},
  number       = {3},
  pages        = {641--664},
  year         = {2018},
  url          = {https://doi.org/10.1002/spe.2527},
  doi          = {10.1002/SPE.2527},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/NeelofarNR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NeelofarNLR17,
  author       = {Neelofar and
                  Lee Naish and
                  Jason Lee and
                  Kotagiri Ramamohanarao},
  title        = {Improving spectral-based fault localization using static analysis},
  journal      = {Softw. Pract. Exp.},
  volume       = {47},
  number       = {11},
  pages        = {1633--1655},
  year         = {2017},
  url          = {https://doi.org/10.1002/spe.2490},
  doi          = {10.1002/SPE.2490},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/NeelofarNLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/ConwayBNT17,
  author       = {Andrew Conway and
                  Michelle L. Blom and
                  Lee Naish and
                  Vanessa Teague},
  title        = {An analysis of New South Wales electronic vote counting},
  booktitle    = {Proceedings of the Australasian Computer Science Week Multiconference,
                  {ACSW} 2017, Geelong, Australia, January 31 - February 3, 2017},
  pages        = {24:1--24:5},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3014812.3014837},
  doi          = {10.1145/3014812.3014837},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsw/ConwayBNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NaishSM16,
  author       = {Lee Naish and
                  Peter Schachte and
                  Aleck M. MacNally},
  title        = {Adtpp: lightweight efficient safe polymorphic algebraic data types
                  for {C}},
  journal      = {Softw. Pract. Exp.},
  volume       = {46},
  number       = {12},
  pages        = {1685--1703},
  year         = {2016},
  url          = {https://doi.org/10.1002/spe.2407},
  doi          = {10.1002/SPE.2407},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/NaishSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ConwayBNT16,
  author       = {Andrew Conway and
                  Michelle L. Blom and
                  Lee Naish and
                  Vanessa Teague},
  title        = {An analysis of New South Wales electronic vote counting},
  journal      = {CoRR},
  volume       = {abs/1611.02015},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.02015},
  eprinttype    = {arXiv},
  eprint       = {1611.02015},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ConwayBNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerjpre/Naish16,
  author       = {Lee Naish},
  title        = {Similarity to a single set},
  journal      = {PeerJ Prepr.},
  volume       = {4},
  pages        = {e1713},
  year         = {2016},
  url          = {https://doi.org/10.7287/peerj.preprints.1713v1},
  doi          = {10.7287/PEERJ.PREPRINTS.1713V1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/peerjpre/Naish16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerj-cs/Naish15,
  author       = {Lee Naish},
  title        = {Sharing analysis in the Pawns compiler},
  journal      = {PeerJ Comput. Sci.},
  volume       = {1},
  pages        = {e22},
  year         = {2015},
  url          = {https://doi.org/10.7717/peerj-cs.22},
  doi          = {10.7717/PEERJ-CS.22},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/peerj-cs/Naish15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/NaishNR15,
  author       = {Lee Naish and
                  Neelofar and
                  Kotagiri Ramamohanarao},
  title        = {Multiple Bug Spectral Fault Localization Using Genetic Programming},
  booktitle    = {24th Australasian Software Engineering Conference, {ASWEC} 2015, Adelaide,
                  SA, Australia, September 28 - October 1, 2015},
  pages        = {11--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASWEC.2015.12},
  doi          = {10.1109/ASWEC.2015.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/NaishNR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerjpre/Naish15,
  author       = {Lee Naish},
  title        = {Sharing analysis in the Pawns compiler},
  journal      = {PeerJ Prepr.},
  volume       = {3},
  pages        = {e907},
  year         = {2015},
  url          = {https://doi.org/10.7287/peerj.preprints.907v1},
  doi          = {10.7287/PEERJ.PREPRINTS.907V1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/peerjpre/Naish15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GangeHNS14,
  author       = {Graeme Gange and
                  Benjamin Horsfall and
                  Lee Naish and
                  Harald S{\o}ndergaard},
  title        = {Four-Valued Reasoning and Cyclic Circuits},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {33},
  number       = {7},
  pages        = {1003--1016},
  year         = {2014},
  url          = {https://doi.org/10.1109/TCAD.2014.2304176},
  doi          = {10.1109/TCAD.2014.2304176},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/GangeHNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Naish14,
  author       = {Lee Naish},
  title        = {Transforming floundering into success},
  journal      = {Theory Pract. Log. Program.},
  volume       = {14},
  number       = {2},
  pages        = {215--238},
  year         = {2014},
  url          = {https://doi.org/10.1017/S147106841200035X},
  doi          = {10.1017/S147106841200035X},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Naish14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NaishS14,
  author       = {Lee Naish and
                  Harald S{\o}ndergaard},
  title        = {Truth versus information in logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {14},
  number       = {6},
  pages        = {803--840},
  year         = {2014},
  url          = {https://doi.org/10.1017/S1471068413000069},
  doi          = {10.1017/S1471068413000069},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/NaishS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/NaishL13,
  author       = {Lee Naish and
                  Hua Jie Lee},
  title        = {Duals in Spectral Fault Localization},
  booktitle    = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
                  4-7 June 2013, Melbourne, Victoria, Australia},
  pages        = {51--59},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASWEC.2013.16},
  doi          = {10.1109/ASWEC.2013.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/NaishL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0141,
  author       = {Lee Naish and
                  Harald S{\o}ndergaard},
  title        = {Truth versus information in logic programming},
  journal      = {CoRR},
  volume       = {abs/1305.0141},
  year         = {2013},
  url          = {http://arxiv.org/abs/1305.0141},
  eprinttype    = {arXiv},
  eprint       = {1305.0141},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1305-0141.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Naish12,
  author       = {Lee Naish},
  editor       = {Mark Reynolds and
                  Bruce H. Thomas},
  title        = {Declarative Diagnosis of Floundering in Prolog},
  booktitle    = {Thirty-Fifth Australasian Computer Science Conference, {ACSC} 2012,
                  Melbourne, Australia, January 2012},
  series       = {{CRPIT}},
  volume       = {122},
  pages        = {49--56},
  publisher    = {Australian Computer Society},
  year         = {2012},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV122Naish.html},
  timestamp    = {Fri, 02 Jul 2021 14:10:58 +0200},
  biburl       = {https://dblp.org/rec/conf/acsc/Naish12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/NaishLR12,
  author       = {Lee Naish and
                  Hua Jie Lee and
                  Kotagiri Ramamohanarao},
  editor       = {Mark Reynolds and
                  Bruce H. Thomas},
  title        = {Spectral debugging: How much better can we do?},
  booktitle    = {Thirty-Fifth Australasian Computer Science Conference, {ACSC} 2012,
                  Melbourne, Australia, January 2012},
  series       = {{CRPIT}},
  volume       = {122},
  pages        = {99--106},
  publisher    = {Australian Computer Society},
  year         = {2012},
  timestamp    = {Fri, 01 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/NaishLR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/NaishSH12,
  author       = {Lee Naish and
                  Harald S{\o}ndergaard and
                  Benjamin Horsfall},
  editor       = {Juli{\'{a}}n Mestre},
  title        = {Logic Programming: From Underspecification to Undefinedness},
  booktitle    = {Eighteenth Computing: The Australasian Theory Symposium, {CATS} 2012,
                  Melbourne, Australia, January 2012},
  series       = {{CRPIT}},
  volume       = {128},
  pages        = {49--58},
  publisher    = {Australian Computer Society},
  year         = {2012},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV128Naish.html},
  timestamp    = {Mon, 08 Feb 2021 13:26:47 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/NaishSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-6816,
  author       = {Lee Naish},
  title        = {Transforming floundering into success},
  journal      = {CoRR},
  volume       = {abs/1207.6816},
  year         = {2012},
  url          = {http://arxiv.org/abs/1207.6816},
  eprinttype    = {arXiv},
  eprint       = {1207.6816},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-6816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/NaishLR11,
  author       = {Lee Naish and
                  Hua Jie Lee and
                  Kotagiri Ramamohanarao},
  title        = {A model for spectra-based software diagnosis},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {20},
  number       = {3},
  pages        = {11:1--11:32},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000791.2000795},
  doi          = {10.1145/2000791.2000795},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/NaishLR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/NaishLR10,
  author       = {Lee Naish and
                  Hua Jie Lee and
                  Kotagiri Ramamohanarao},
  editor       = {Jun Han and
                  Tran Dan Thu},
  title        = {Statements versus Predicates in Spectral Bug Localization},
  booktitle    = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
                  Australia, November 30 - December 3, 2010},
  pages        = {375--384},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/APSEC.2010.50},
  doi          = {10.1109/APSEC.2010.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/NaishLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LeeNR10,
  author       = {Hua Jie Lee and
                  Lee Naish and
                  Kotagiri Ramamohanarao},
  editor       = {Sheikh Iqbal Ahamed and
                  Doo{-}Hwan Bae and
                  Sung Deok Cha and
                  Carl K. Chang and
                  Rajesh Subramanyan and
                  W. Eric Wong and
                  Hen{-}I Yang},
  title        = {Effective Software Bug Localization Using Spectral Frequency Weighting
                  Function},
  booktitle    = {Proceedings of the 34th Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
                  2010},
  pages        = {218--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/COMPSAC.2010.26},
  doi          = {10.1109/COMPSAC.2010.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LeeNR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/BenalohMNRT09,
  author       = {Josh Benaloh and
                  Tal Moran and
                  Lee Naish and
                  Kim Ramchen and
                  Vanessa Teague},
  title        = {Shuffle-sum: coercion-resistant verifiable tallying for {STV} voting},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {4},
  number       = {4},
  pages        = {685--698},
  year         = {2009},
  url          = {https://doi.org/10.1109/TIFS.2009.2033757},
  doi          = {10.1109/TIFS.2009.2033757},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tifs/BenalohMNRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/NaishLR09,
  author       = {Lee Naish and
                  Hua Jie Lee and
                  Kotagiri Ramamohanarao},
  editor       = {Shahida Sulaiman and
                  Noor Maizura Mohamad Noor},
  title        = {Spectral Debugging with Weights and Incremental Ranking},
  booktitle    = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
                  December 2009, Batu Ferringhi, Penang, Malaysia},
  pages        = {168--175},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/APSEC.2009.32},
  doi          = {10.1109/APSEC.2009.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/NaishLR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Naish08,
  author       = {Lee Naish},
  title        = {Probabilistic Declarative Debugging},
  journal      = {J. Funct. Log. Program.},
  volume       = {2008},
  year         = {2008},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2008/A2008-01/A2008-01.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Naish08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/TeagueRN08,
  author       = {Vanessa Teague and
                  Kim Ramchen and
                  Lee Naish},
  editor       = {David L. Dill and
                  Tadayoshi Kohno},
  title        = {Coercion-Resistant Tallying for {STV} Voting},
  booktitle    = {2008 {USENIX/ACCURATE} Electronic Voting Workshop, {EVT} 2008, July
                  28-29, 2008, San Jose, CA, USA, Proceedings},
  publisher    = {{USENIX} Association},
  year         = {2008},
  url          = {http://www.usenix.org/events/evt08/tech/full\_papers/teague/teague.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/TeagueRN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish07,
  author       = {Lee Naish},
  editor       = {Ver{\'{o}}nica Dahl and
                  Ilkka Niemel{\"{a}}},
  title        = {Resource-Oriented Deadlock Analysis},
  booktitle    = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
                  Portugal, September 8-13, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4670},
  pages        = {302--316},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74610-2\_21},
  doi          = {10.1007/978-3-540-74610-2\_21},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0048,
  author       = {Lee Naish},
  title        = {Declarative Diagnosis of Floundering},
  journal      = {CoRR},
  volume       = {abs/0711.0048},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0048},
  eprinttype    = {arXiv},
  eprint       = {0711.0048},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Naish06,
  author       = {Lee Naish},
  title        = {A three-valued semantics for logic programmers},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {5},
  pages        = {509--538},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002742},
  doi          = {10.1017/S1471068406002742},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/Naish06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508004,
  author       = {Lee Naish},
  title        = {A three-valued semantics for logic programmers},
  journal      = {CoRR},
  volume       = {abs/cs/0508004},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0508004},
  eprinttype    = {arXiv},
  eprint       = {cs/0508004},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0508004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Naish03,
  author       = {Lee Naish},
  editor       = {Michael J. Oudshoorn},
  title        = {Approximating the Success Set of Logic Programs Using Constrained
                  Regular Types},
  booktitle    = {Computer Science 2003, Twenty-Sixth Australasian Computer Science
                  Conference (ACSC2003), Adelaide, South Australia, February 2003},
  series       = {{CRPIT}},
  volume       = {16},
  pages        = {61--67},
  publisher    = {Australian Computer Society},
  year         = {2003},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Naish.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/Naish03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/PopeN03,
  author       = {Bernard J. Pope and
                  Lee Naish},
  editor       = {Michael J. Oudshoorn},
  title        = {A Program Transformation for Debugging Haskell 98},
  booktitle    = {Computer Science 2003, Twenty-Sixth Australasian Computer Science
                  Conference (ACSC2003), Adelaide, South Australia, February 2003},
  series       = {{CRPIT}},
  volume       = {16},
  pages        = {227--236},
  publisher    = {Australian Computer Society},
  year         = {2003},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Pope.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/PopeN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PopeN03,
  author       = {Bernard J. Pope and
                  Lee Naish},
  title        = {Practical aspects of declarative debugging in Haskell 98},
  booktitle    = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 27-29 August 2003,
                  Uppsala, Sweden},
  pages        = {230--240},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/888251.888273},
  doi          = {10.1145/888251.888273},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PopeN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SternN02,
  author       = {Linda Stern and
                  Lee Naish},
  editor       = {Judith L. Gersting and
                  Henry MacKay Walker and
                  Scott Grissom},
  title        = {Visual representations for recursive algorithms},
  booktitle    = {Proceedings of the 33rd {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2002, Cincinnati, Kentucky, USA, February 27 -
                  March 3, 2002},
  pages        = {196--200},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/563340.563414},
  doi          = {10.1145/563340.563414},
  timestamp    = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/SternN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SterlingNH01,
  author       = {Leon Sterling and
                  Lee Naish and
                  Manuel V. Hermenegildo},
  title        = {Guest editor's introduction Special issue on Logic Programming and
                  the Internet},
  journal      = {Theory Pract. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {249--250},
  year         = {2001},
  url          = {https://doi.org/10.1017/S1471068401001156},
  doi          = {10.1017/S1471068401001156},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/SterlingNH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PopeN02,
  author       = {Bernard J. Pope and
                  Lee Naish},
  editor       = {Michael Hanus},
  title        = {Specialisation of Higher-Order Functions for Debugging},
  booktitle    = {International Workshop on Functional and (Constraint) Logic Programming,
                  {WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {64},
  pages        = {277--291},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80355-4},
  doi          = {10.1016/S1571-0661(04)80355-4},
  timestamp    = {Mon, 05 Dec 2022 15:44:50 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PopeN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/NaishS00,
  author       = {Lee Naish and
                  Leon Sterling},
  title        = {Stepwise Enhancement and Higher-Order Programming in Prolog},
  journal      = {J. Funct. Log. Program.},
  volume       = {2000},
  number       = {4},
  year         = {2000},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/NaishS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Naish00,
  author       = {Lee Naish},
  title        = {A Three-Valued Declarative Debugging Scheme},
  booktitle    = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January
                  - 3 February 2000, Canberra, Australia},
  pages        = {166--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ACSC.2000.824398},
  doi          = {10.1109/ACSC.2000.824398},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/Naish00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Naish00a,
  author       = {Lee Naish},
  title        = {A Three-Valued Semantic for Horn Clause Programs},
  booktitle    = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January
                  - 3 February 2000, Canberra, Australia},
  pages        = {174--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ACSC.2000.824399},
  doi          = {10.1109/ACSC.2000.824399},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/Naish00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/SternSN99,
  author       = {Linda Stern and
                  Harald S{\o}ndergaard and
                  Lee Naish},
  editor       = {Carl Erickson and
                  Tadeusz Wilusz and
                  Mats Daniels and
                  Ren{\'{e}}e McCauley and
                  Bill Z. Manaris},
  title        = {A strategy for managing content complexity in algorithm animation},
  booktitle    = {Proceedings of the 4th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 1999, Cracow, Poland,
                  27-30 June, 1999},
  pages        = {127--130},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/305786.305891},
  doi          = {10.1145/305786.305891},
  timestamp    = {Fri, 12 Mar 2021 14:14:34 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/SternSN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Naish97,
  author       = {Lee Naish},
  title        = {A Declarative Debugging Scheme},
  journal      = {J. Funct. Log. Program.},
  volume       = {1997},
  number       = {3},
  year         = {1997},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-03/A97-03.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Naish97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NaishS97,
  author       = {Lee Naish and
                  Leon Sterling},
  editor       = {Norbert E. Fuchs},
  title        = {A Higher Order Reconstruction of Stepwise Enhancement},
  booktitle    = {Logic Programming Synthesis and Transformation, 7th International
                  Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1463},
  pages        = {245--262},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-49674-2\_13},
  doi          = {10.1007/3-540-49674-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/NaishS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Naish97,
  author       = {Lee Naish},
  editor       = {Anthony J. Kusalik and
                  Mireille Ducass{\'{e}} and
                  Ulrich Neumerkel},
  title        = {A Three-Valued Declarative Debugging Scheme},
  booktitle    = {Proceedings of the 8th Workshop on Logic Programming Environments,
                  {LPE} '97, post-conference workshop at {ICLP} 1997, Leuven, Belgium,
                  July 11, 1997},
  pages        = {1--12},
  year         = {1997},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Naish97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
  editor       = {Lee Naish},
  title        = {Logic Programming, Proceedings of the Fourteenth International Conference
                  on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher    = {{MIT} Press},
  year         = {1997},
  isbn         = {0-262-64035-X},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish96,
  author       = {Lee Naish},
  editor       = {Michael J. Maher},
  title        = {A Declarative View of Modes},
  booktitle    = {Logic Programming, Proceedings of the 1996 Joint International Conference
                  and Symposium on Logic Programming, Bonn, Germany, September 2-6,
                  1996},
  pages        = {185--199},
  publisher    = {{MIT} Press},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278927},
  timestamp    = {Mon, 09 Aug 2021 17:01:45 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Naish92,
  author       = {Lee Naish},
  title        = {Declarative Diagnosis of Missing Answers},
  journal      = {New Gener. Comput.},
  volume       = {10},
  number       = {3},
  pages        = {255--286},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF03037939},
  doi          = {10.1007/BF03037939},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Naish92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Naish92,
  author       = {Lee Naish},
  editor       = {Mireille Ducass{\'{e}} and
                  Yow{-}Jian Lin and
                  L. {\"{U}}mit Yal{\c{c}}inalp},
  title        = {Declarative Debugging of Lazy Functional Programs},
  booktitle    = {Proceedings of the 4th Workshop on Logic Programming Environments
                  {(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992,
                  Washington, DC, {USA.} Technical Report {TR} 92-143},
  pages        = {29--34},
  publisher    = {Case Western Reserver University, Cleveland},
  year         = {1992},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Naish92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/pfenning92/Naish92,
  author       = {Lee Naish},
  editor       = {Frank Pfenning},
  title        = {Types and the Intended Meaning of Logic Programs},
  booktitle    = {Types in Logic Programming},
  pages        = {189--216},
  publisher    = {The {MIT} Press},
  year         = {1992},
  timestamp    = {Tue, 07 Nov 2023 12:00:44 +0100},
  biburl       = {https://dblp.org/rec/books/mit/pfenning92/Naish92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish91,
  author       = {Lee Naish},
  editor       = {Jean{-}Marie Jacquet},
  title        = {Verification of Logic Programs and Imperative Programs},
  booktitle    = {Constructing Logic Programs - This book is issued from a workshop
                  on the subject of the construction of logic programs, organized during
                  the 1991 {ICLP}},
  pages        = {143--164},
  publisher    = {Wiley},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PalmerN91,
  author       = {Doug Palmer and
                  Lee Naish},
  editor       = {Koichi Furukawa},
  title        = {NUA-Prolog: An Extension to the {WAM} for Parallel Andorra},
  booktitle    = {Logic Programming, Proceedings of the Eigth International Conference,
                  Paris, France, June 24-28, 1991},
  pages        = {429--442},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/PalmerN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Naish91,
  author       = {Lee Naish},
  editor       = {Jan Maluszynski and
                  Martin Wirsing},
  title        = {Adding equations to NU-Prolog},
  booktitle    = {Programming Language Implementation and Logic Programming, 3rd International
                  Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {528},
  pages        = {15--26},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54444-5\_84},
  doi          = {10.1007/3-540-54444-5\_84},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/Naish91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarriottNL90,
  author       = {Kim Marriott and
                  Lee Naish and
                  Jean{-}Louis Lassez},
  title        = {Most Specific Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {1},
  pages        = {303--338},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01531082},
  doi          = {10.1007/BF01531082},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MarriottNL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Naish89,
  author       = {Lee Naish},
  title        = {Proving Properties of Committed Choice Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {1},
  pages        = {63--84},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90010-1},
  doi          = {10.1016/0743-1066(89)90010-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Naish89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NaishDZ89,
  author       = {Lee Naish and
                  Philip W. Dart and
                  Justin Zobel},
  editor       = {Giorgio Levi and
                  Maurizio Martelli},
  title        = {The NU-Prolog Debugging Environment},
  booktitle    = {Logic Programming, Proceedings of the Sixth International Conference,
                  Lisbon, Portugal, June 19-23, 1989},
  pages        = {521--536},
  publisher    = {{MIT} Press},
  year         = {1989},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/NaishDZ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarriottNL88,
  author       = {Kim Marriott and
                  Lee Naish and
                  Jean{-}Louis Lassez},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Most Specific Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {909--923},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Sat, 23 Jun 2018 18:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/MarriottNL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish88,
  author       = {Lee Naish},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Parallelizing NU-Prolog},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {1546--1564},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Fri, 29 Nov 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/eh/grayL88/RamamohanaraoSBPNTZD88,
  author       = {Kotagiri Ramamohanarao and
                  John Shepherd and
                  Isaac Balbin and
                  Graeme S. Port and
                  Lee Naish and
                  James A. Thom and
                  Justin Zobel and
                  Philip W. Dart},
  editor       = {Peter M. D. Gray and
                  Robert J. Lucas},
  title        = {The NU-Prolog Deductive Database System},
  booktitle    = {Prolog and Databases, Implementations and New Directions.},
  pages        = {212--250},
  publisher    = {Ellis Horwood Ltd},
  year         = {1988},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/eh/grayL88/RamamohanaraoSBPNTZD88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/ThomRN88,
  author       = {James A. Thom and
                  Kotagiri Ramamohanarao and
                  Lee Naish},
  editor       = {Jack Minker},
  title        = {A Superjoin Algorithm for Deductive Databases},
  booktitle    = {Foundations of Deductive Databases and Logic Programming},
  pages        = {519--543},
  publisher    = {Morgan Kaufmann},
  year         = {1988},
  url          = {https://doi.org/10.1016/b978-0-934613-40-8.50017-8},
  doi          = {10.1016/B978-0-934613-40-8.50017-8},
  timestamp    = {Thu, 27 Jun 2019 09:09:21 +0200},
  biburl       = {https://dblp.org/rec/books/mk/minker88/ThomRN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/RamamohanaraoSBPNTZD87,
  author       = {Kotagiri Ramamohanarao and
                  John Shepherd and
                  Isaac Balbin and
                  Graeme S. Port and
                  Lee Naish and
                  James A. Thom and
                  Justin Zobel and
                  Philip W. Dart},
  title        = {The NU-Prolog Deductive Database System},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {10},
  number       = {4},
  pages        = {10--19},
  year         = {1987},
  url          = {http://sites.computer.org/debull/87DEC-CD.pdf},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/RamamohanaraoSBPNTZD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Naish87,
  author       = {Lee Naish},
  editor       = {Kesav V. Nori},
  title        = {Specification = Program + Types},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {287},
  pages        = {326--339},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18625-5\_58},
  doi          = {10.1007/3-540-18625-5\_58},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Naish87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NaishTR87,
  author       = {Lee Naish and
                  James A. Thom and
                  Kotagiri Ramamohanarao},
  editor       = {Jean{-}Louis Lassez},
  title        = {Concurrent Database Updates in {PROLOG}},
  booktitle    = {Logic Programming, Proceedings of the Fourth International Conference,
                  Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
  pages        = {178--195},
  publisher    = {{MIT} Press},
  year         = {1987},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/NaishTR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Naish86,
  author       = {Lee Naish},
  title        = {Negation and Control in Prolog},
  series       = {Lecture Notes in Computer Science},
  volume       = {238},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/BFb0021681},
  doi          = {10.1007/BFB0021681},
  isbn         = {3-540-16815-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Naish86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish86,
  author       = {Lee Naish},
  editor       = {Ehud Shapiro},
  title        = {Negation and Quantifiers in NU-Prolog},
  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        = {624--634},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16492-8\_111},
  doi          = {10.1007/3-540-16492-8\_111},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Naish86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/ThomRN86,
  author       = {James A. Thom and
                  Kotagiri Ramamohanarao and
                  Lee Naish},
  editor       = {Wesley W. Chu and
                  Georges Gardarin and
                  Setsuo Ohsuga and
                  Yahiko Kambayashi},
  title        = {A Superjoin Algorithm for Deductive Databases},
  booktitle    = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
                  August 25-28, 1986, Kyoto, Japan, Proceedings},
  pages        = {189--196},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.vldb.org/conf/1986/P189.PDF},
  timestamp    = {Wed, 29 Mar 2017 16:45:23 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/ThomRN86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Naish85,
  author       = {Lee Naish},
  title        = {Automating Control for Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {2},
  number       = {3},
  pages        = {167--183},
  year         = {1985},
  url          = {https://doi.org/10.1016/0743-1066(85)90017-2},
  doi          = {10.1016/0743-1066(85)90017-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Naish85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Naish85,
  author       = {Lee Naish},
  editor       = {Aravind K. Joshi},
  title        = {Prolog Control Rules},
  booktitle    = {Proceedings of the 9th International Joint Conference on Artificial
                  Intelligence. Los Angeles, CA, USA, August 1985},
  pages        = {720--722},
  publisher    = {Morgan Kaufmann},
  year         = {1985},
  url          = {http://ijcai.org/Proceedings/85-2/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:19:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Naish85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Naish85,
  author       = {Lee Naish},
  title        = {All Solutions Predicates in Prolog},
  booktitle    = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
                  USA, July 15-18, 1985},
  pages        = {73--77},
  publisher    = {{IEEE-CS}},
  year         = {1985},
  timestamp    = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Naish85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Naish84,
  author       = {Lee Naish},
  title        = {Heterogeneous {SLD} Resolution},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {4},
  pages        = {297--303},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90027-X},
  doi          = {10.1016/0743-1066(84)90027-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Naish84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics