text:
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

%% Created for Paul Tarau at 2018-12-01 10:21:14 -0600

%% Saved with string encoding Unicode (UTF-8)

@inproceedings{padl19,
  author    = {Paul Tarau},
  title     = {A Combinatorial Testing Framework for Intuitionistic Propositional
               Theorem Provers},
  booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
               {PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
  pages     = {115--132},
  year      = {2019},
  crossref  = {DBLP:conf/padl/2019},
  url       = {https://doi.org/10.1007/978-3-030-05998-9\_8},
  doi       = {10.1007/978-3-030-05998-9\_8},
  timestamp = {Tue, 08 Jan 2019 19:33:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/padl/Tarau19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{rcra18,
  author    = {Paul Tarau},
  title     = {Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for
               Minimal Logic},
  booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
               for Solving Problems with Combinatorial Explosion co-located with
               the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
               July 13, 2018.},
  year      = {2018},
  crossref  = {DBLP:conf/rcra/2018},
  url       = {http://ceur-ws.org/Vol-2271/paper1.pdf},
  timestamp = {Wed, 19 Dec 2018 14:07:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rcra/Tarau18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rcra/2018,
  editor    = {Marco Maratea and
               Mauro Vallati},
  title     = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
               for Solving Problems with Combinatorial Explosion co-located with
               the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
               July 13, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2271},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2271},
  urn       = {urn:nbn:de:0074-2271-7},
  timestamp = {Wed, 19 Dec 2018 14:07:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rcra/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/padl/2019,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Moa Johansson},
  title     = {Practical Aspects of Declarative Languages - 21th International Symposium,
               {PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11372},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-05998-9},
  doi       = {10.1007/978-3-030-05998-9},
  isbn      = {978-3-030-05997-2},
  timestamp = {Tue, 08 Jan 2019 19:30:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{intro_iclp_2018,
	Doi = {10.1017/S1471068418000352},
	Journal = {Theory and Practice of Logic Programming},
	Number = {3-4},
	Pages = {296--300},
	Publisher = {Cambridge University Press},
	Title = {Introduction to the 34-th international conference on logic programming special issue},
	Volume = {18},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1017/S1471068418000352}}

@inproceedings{sac18,
	Address = {Pau, France},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of SAC'18, ACM Symposium on Applied Computing, PL track}},
	Month = apr,
	Publisher = {ACM},
	 doi = {10.1145/3167132.3167262},
	Title = {{Declarative Algorithms for Generation, Counting and Random Sampling of Term Algebras}},
	Year = {2018}}

@article{tplp18,
	Author = {Maciej Bendkowski and Katarzyna Grygiel and Paul Tarau},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/journals/tplp/BendkowskiGT18},
	Doi = {10.1017/S147106841700045X},
	Journal = {{TPLP}},
	Number = {1},
	Pages = {97--119},
	Timestamp = {Wed, 07 Feb 2018 13:19:42 +0100},
	Title = {{Random generation of closed simply typed {\(\lambda\)}-terms: A synergy between logic programming and Boltzmann samplers}},
	Url = {https://doi.org/10.1017/S147106841700045X},
	Volume = {18},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1017/S147106841700045X}}

@inproceedings{padl18,
	Author = {Paul Tarau},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/padl/Tarau18},
	Booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium, {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
	Crossref = {DBLP:conf/padl/2018},
	Doi = {10.1007/978-3-319-73305-0\_8},
	Pages = {116--131},
	Timestamp = {Fri, 12 Jan 2018 16:40:07 +0100},
	Title = {{On k-colored Lambda Terms and Their Skeletons}},
	Url = {https://doi.org/10.1007/978-3-319-73305-0\_8},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-73305-0%5C_8}}

@proceedings{DBLP:conf/padl/2018,
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/conf/padl/2018},
	Doi = {10.1007/978-3-319-73305-0},
	Editor = {Francesco Calimeri and Kevin W. Hamlen and Nicola Leone},
	Isbn = {978-3-319-73304-3},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Timestamp = {Wed, 03 Jan 2018 18:32:06 +0100},
	Title = {Practical Aspects of Declarative Languages - 20th International Symposium, {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
	Url = {https://doi.org/10.1007/978-3-319-73305-0},
	Volume = {10702},
	Year = {2018},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-73305-0}}

@inproceedings{iclp17,
	Address = {Dagstuhl, Germany},
	Annote = {Keywords: Prolog abstract machines, heap representation of terms and code, immutable goal stacks, natural language syntax for clauses, answer streams, multi-arg},
	Author = {Paul Tarau},
	Booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)},
	Doi = {10.4230/OASIcs.ICLP.2017.10},
	Editor = {Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei},
	Isbn = {978-3-95977-058-3},
	Issn = {2190-6807},
	Pages = {10:1--10:16},
	Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	Series = {OpenAccess Series in Informatics (OASIcs)},
	Title = {{A Hitchhiker's Guide to Reinventing a Prolog Machine}},
	Url = {http://drops.dagstuhl.de/opus/volltexte/2018/8453},
	Urn = {urn:nbn:de:0030-drops-84537},
	Volume = {58},
	Year = {2018},
	Bdsk-Url-1 = {http://drops.dagstuhl.de/opus/volltexte/2018/8453},
	Bdsk-Url-2 = {https://doi.org/10.4230/OASIcs.ICLP.2017.10}}

@inproceedings{iclp17old,
	Address = {Melbourne, Australia},
	Author = {Tarau, Paul},
	Booktitle = {{33rd International Conference on Logic Programming (ICLP 2017), Technical Communications}},
	Editor = {Ricardo Rocha,Tran Cao Son},
	Month = sep,
	Title = {{A Hitchhiker's Guide to Reinventing a Prolog Machine}},
	Year = {2017}}

@article{tplp2017,
	Author = {Bendkowski, Maciej and Grygiel, Katarzyna and Tarau, Paul},
	Doi = {10.1017/S147106841700045X},
	Journal = {Theory and Practice of Logic Programming},
	Pages = {1--23},
	Publisher = {Cambridge University Press},
	Title = {{Random generation of closed simply typed $\lambda$-terms: A synergy between logic programming and Boltzmann samplers}},
	Year = {2017},
	Bdsk-Url-1 = {https://doi.org/10.1017/S147106841700045X}}

@inproceedings{lopstr17,
	Author = {Bodini, Olivier and Tarau, Paul},
	Booktitle = {Logic-Based Program Synthesis and Transformation, LNCS 10855},
	Editor = {Fioravanti, Fabio and Gallagher, John P.},
	Isbn = {978-3-319-94460-9},
	Pages = {252--268},
	Publisher = {Springer International Publishing},
	Title = {{On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms}},
	Year = {2018}}

@article{lopst17temp,
	Author = {{Bodini}, O. and {Tarau}, P.},
	Journal = {CoRR},
	Month = sep,
	Title = {{On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms}},
	Url = {http://arxiv.org/abs/1709.04302},
	Volume = {abs/1709.04302},
	Year = {2017},
	Bdsk-Url-1 = {http://arxiv.org/abs/1709.04302}}

@inproceedings{hiking17,
	Author = {Tarau, Paul},
	Booktitle = {Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, Revised Selected Papers},
	Doi = {10.1007/978-3-319-63139-4_14},
	Editor = {Hermenegildo, Manuel V and Lopez-Garcia, Pedro},
	Isbn = {978-3-319-63139-4},
	Month = sep,
	Note = {, Best paper award},
	Pages = {240--255},
	Publisher = {Springer LNCS, volume 10184},
	Title = {{A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms}},
	Url = {https://doi.org/10.1007/978-3-319-63139-4_14},
	Year = {2017},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-63139-4_14}}

@inproceedings{padl17,
	Author = {Maciej Bendkowski and Katarzyna Grygiel and Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp2.uni-trier.de/rec/bib/conf/padl/BendkowskiGT17},
	Booktitle = {Practical Aspects of Declarative Languages - 19th International Symposium, {PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
	Crossref = {DBLP:conf/padl/2017},
	Doi = {10.1007/978-3-319-51676-9_8},
	Note = {, Best student paper award},
	Pages = {120--135},
	Timestamp = {Fri, 06 Jan 2017 12:11:31 +0100},
	Title = {{Boltzmann Samplers for Closed Simply-Typed Lambda Terms}},
	Url = {http://dx.doi.org/10.1007/978-3-319-51676-9_8},
	Year = {2017},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-51676-9_8}}

@proceedings{DBLP:conf/padl/2017,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp2.uni-trier.de/rec/bib/conf/padl/2017},
	Doi = {10.1007/978-3-319-51676-9},
	Editor = {Yuliya Lierler and Walid Taha},
	Isbn = {978-3-319-51675-2},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Timestamp = {Fri, 06 Jan 2017 11:59:52 +0100},
	Title = {Practical Aspects of Declarative Languages - 19th International Symposium, {PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-319-51676-9},
	Volume = {10137},
	Year = {2017},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-51676-9}}

@inproceedings{MazidiT16NLG,
	Author = {Karen Mazidi and Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/inlg/MazidiT16},
	Booktitle = {{INLG} 2016 - Proceedings of the Ninth International Natural Language Generation Conference, September 5-8, 2016, Edinburgh, {UK}},
	Crossref = {DBLP:conf/inlg/2016},
	Pages = {51--60},
	Timestamp = {Fri, 04 Nov 2016 17:25:52 +0100},
	Title = {Infusing {NLU} into Automatic Question Generation},
	Url = {http://aclweb.org/anthology/W/W16/W16-6609.pdf},
	Year = {2016},
	Bdsk-Url-1 = {http://aclweb.org/anthology/W/W16/W16-6609.pdf}}

@proceedings{DBLP:conf/inlg/2016,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/inlg/2016},
	Editor = {Amy Isard and Verena Rieser and Dimitra Gkatzia},
	Publisher = {The Association for Computer Linguistics},
	Timestamp = {Fri, 04 Nov 2016 17:23:07 +0100},
	Title = {{INLG} 2016 - Proceedings of the Ninth International Natural Language Generation Conference, September 5-8, 2016, Edinburgh, {UK}},
	Year = {2016}}

@inproceedings{HamidHT16,
	Author = {Fahmida Hamid and David Haraburda and Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/ecir/HamidHT16},
	Booktitle = {Advances in Information Retrieval - 38th European Conference on {IR} Research, {ECIR} 2016, Padua, Italy, March 20-23, 2016. Proceedings},
	Crossref = {DBLP:conf/ecir/2016},
	Doi = {10.1007/978-3-319-30671-1_26},
	Pages = {351--365},
	Timestamp = {Fri, 11 Mar 2016 14:07:43 +0100},
	Title = {Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries},
	Url = {http://dx.doi.org/10.1007/978-3-319-30671-1_26},
	Year = {2016},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-30671-1_26}}

@proceedings{DBLP:conf/ecir/2016,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/ecir/2016},
	Doi = {10.1007/978-3-319-30671-1},
	Editor = {Nicola Ferro and Fabio Crestani and Marie{-}Francine Moens and Josiane Mothe and Fabrizio Silvestri and Giorgio Maria Di Nunzio and Claudia Hauff and Gianmaria Silvello},
	Isbn = {978-3-319-30670-4},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Timestamp = {Fri, 11 Mar 2016 14:07:06 +0100},
	Title = {Advances in Information Retrieval - 38th European Conference on {IR} Research, {ECIR} 2016, Padua, Italy, March 20-23, 2016. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-319-30671-1},
	Volume = {9626},
	Year = {2016},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-30671-1}}

@inbook{Mazidi2016,
	Address = {Cham},
	Author = {Mazidi, Karen and Tarau, Paul},
	Booktitle = {Intelligent Tutoring Systems: 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings},
	Doi = {10.1007/978-3-319-39583-8_3},
	Editor = {Micarelli, Alessandro and Stamper, John and Panourgia, Kitty},
	Isbn = {978-3-319-39583-8},
	Pages = {23--33},
	Publisher = {Springer International Publishing},
	Title = {Automatic Question Generation: From NLU to NLG},
	Url = {http://dx.doi.org/10.1007/978-3-319-39583-8_3},
	Year = {2016},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-39583-8_3}}

@article{lopst16temp,
	Author = {Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Tarau16},
	Journal = {CoRR},
	Timestamp = {Fri, 02 Sep 2016 17:46:24 +0200},
	Title = {A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms},
	Url = {http://arxiv.org/abs/1608.03912},
	Volume = {abs/1608.03912},
	Year = {2016},
	Bdsk-Url-1 = {http://arxiv.org/abs/1608.03912}}

@inproceedings{padl16a,
	Address = {St. Petersburg, Florida, USA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the Eighteenth International Symposium on Practical Aspects of Declarative Languages PADL'16}},
	Doi = {10.1007/978-3-319-19686-2_9},
	Editor = {Gavanelli, M. and Reppy, J.},
	Month = jan,
	Pages = {117-134},
	Publisher = {Springer, LNCS},
	Title = {{Computing with Catalan Families, Generically}},
	Year = {2016},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-19686-2_9}}

@inproceedings{padl16b,
	Address = {St. Petersburg, Florida, USA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the Eighteenth International Symposium on Practical Aspects of Declarative Languages PADL'16}},
	Doi = {10.1007/978-3-319-28228-2_7},
	Editor = {Gavanelli, M. and Reppy, J.},
	Month = jan,
	Pages = {99-116},
	Publisher = {Springer, LNCS},
	Title = {{ A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations}},
	Year = {2016},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-28228-2_7}}

@inproceedings{synasc15,
	Author = {Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/synasc/Tarau15},
	Booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September 21-24, 2015},
	Crossref = {DBLP:conf/synasc/2015},
	Doi = {10.1109/SYNASC.2015.23},
	Pages = {90--97},
	Timestamp = {Tue, 10 May 2016 15:47:37 +0200},
	Title = {{The Arithmetic of Even-Odd Trees}},
	Url = {http://dx.doi.org/10.1109/SYNASC.2015.23},
	Year = {2015},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/SYNASC.2015.23}}

@proceedings{DBLP:conf/synasc/2015,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/synasc/2015},
	Editor = {Laura Kov{\'{a}}cs and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
	Isbn = {978-1-5090-0461-4},
	Publisher = {{IEEE} Computer Society},
	Timestamp = {Tue, 10 May 2016 15:47:37 +0200},
	Title = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September 21-24, 2015},
	Url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657},
	Year = {2015},
	Bdsk-Url-1 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657}}

@article{arxiv_play15,
	Author = {Paul Tarau},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Tarau15},
	Journal = {CoRR},
	Timestamp = {Sun, 02 Aug 2015 18:42:02 +0200},
	Title = {A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations},
	Url = {http://arxiv.org/abs/1507.06944},
	Volume = {abs/1507.06944},
	Year = {2015},
	Bdsk-Url-1 = {http://arxiv.org/abs/1507.06944}}

@inproceedings{iclp15,
	Address = {Cork, Ireland},
	Author = {Tarau, Paul},
	Booktitle = {{31st International Conference on Logic Programming (ICLP 2015), Technical Communications}},
	Editor = {De Vos, Marina and Eiter, Thomas and Lierler, Yuliya and Toni, Francesca},
	Month = sep,
	Note = {available online at http://ceur-ws.org/Vol-1433/},
	Publisher = {CEUR},
	Title = {{On Type-directed Generation of Lambda Terms}},
	Year = {2015}}

@inproceedings{padl15,
	Address = {Portland, Oregon, USA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the Seventeenth International Symposium on Practical Aspects of Declarative Languages PADL'15}},
	Editor = {Pontelli, E. and Son, T. C.},
	Month = jun,
	Pages = {115-131},
	Publisher = {Springer, LNCS 8131},
	Title = {{On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization}},
	Year = {2015}}

@inproceedings{ppdp15tarau,
	Address = {New York, NY, USA},
	Author = {Tarau, Paul},
	Booktitle = {{PPDP'15: Proceedings of the 17th international ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming}},
	Editor = {Albert, Elvira},
	Location = {Siena, Italy},
	Month = jul,
	Pages = {244-255},
	Publisher = {ACM},
	Title = {{ On a Uniform Representation of Combinators, Arithmetic, Lambda Terms and Types}},
	Year = {2015}}

@inproceedings{cicm15,
	Address = {Washington, D.C., USA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the 8th Conference on Intelligent Computer Mathematics}},
	Editor = {Kerber, M. and Carette, J. and Kaliszyk, C. and Rabe, F. and Sorge, V.},
	Month = jul,
	Pages = {118-133},
	Publisher = {Springer, LNAI 9150},
	Title = {{Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices}},
	Year = {2015}}

@inproceedings{ciclingHamidT15,
	Author = {Fahmida Hamid and Paul Tarau},
	Booktitle = {Computational Linguistics and Intelligent Text Processing - 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part {II}},
	Pages = {375--389},
	Title = {Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity},
	Year = {2015}}

@article{sacs14tarau,
	Author = {P. Tarau},
	Doi = {10.7561/SACS.2014.2.287},
	Journal = {Scientific Annals of Computer Science},
	Number = {2},
	Organization = {``A.I. Cuza'' University, Ia\c si, Rom\^ania},
	Pages = {287--323},
	Publisher = {``A.I. Cuza'' University Press, Ia\c si},
	Title = {Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers},
	Volume = {24},
	Year = {2014},
	Bdsk-Url-1 = {https://doi.org/10.7561/SACS.2014.2.287}}

@article{arxiv_cats,
	Author = {Paul Tarau},
	Ee = {http://arxiv.org/abs/1406.1796},
	Journal = {CoRR},
	Title = {{A Generic Numbering System based on Catalan Families of Combinatorial Objects}},
	Volume = {abs/1406.1796},
	Year = {2014}}

@inproceedings{ictac14tarau,
	Address = {Bucharest, Romania},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014}},
	Editor = {Ciobanu, Gabriel and M\'ery, Doninique},
	Month = sep,
	Pages = {406-423},
	Publisher = {Springer, LNCS 8687},
	Title = {{The Arithmetic of Recursively Run-length Compressed Natural Numbers}},
	Year = {2014}}

@inproceedings{ppdp14tarau,
	Address = {New York, NY, USA},
	Author = {Tarau, Paul},
	Booktitle = {{PPDP '14: Proceedings of the 16th international ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming}},
	Location = {Canterburry, U.K.},
	Publisher = {ACM},
	Title = {{ Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers}},
	Year = {2014}}

@inproceedings{iclp14,
	Address = {Vienna, Austria},
	Author = {Tarau, Paul and Hamid, Fahmida},
	Booktitle = {{30-th International Conference on Logic Programming - Technical Communications (ICLP'14)}},
	Editor = {Leuschel, Michael and Schrijvers, Tom},
	Month = sep,
	Title = {{Interclausal Logic Variables}},
	Year = {2014}}

@inproceedings{petra14,
	Author = {Fahmida Hamid and Paul Tarau},
	Booktitle = {Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments, {PETRA} 2014, Island of Rhodes, Greece, May 27 - 30, 2014},
	Pages = {60:1--60:4},
	Title = {Text summarization as an assistive technology},
	Year = {2014}}

@article{primesTCS,
	Author = {Paul Tarau},
	Doi = {http://dx.doi.org/10.1016/j.tcs.2014.04.025},
	Issn = {0304-3975},
	Journal = {Theoretical Computer Science},
	Note = {Theoretical Aspects of Computing (ICTAC 2011)},
	Number = {0},
	Pages = {105 - 124},
	Title = {Towards a generic view of primality through multiset decompositions of natural numbers},
	Url = {http://www.sciencedirect.com/science/article/pii/S0304397514003302},
	Volume = {537},
	Year = {2014},
	Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397514003302},
	Bdsk-Url-2 = {http://dx.doi.org/10.1016/j.tcs.2014.04.025}}

@misc{styla,
	Author = {Paul Tarau},
	Month = may,
	Note = {\url{https://code.google.com/archive/p/styla//}},
	Title = {{Styla: a Lightweight Scala-based Prolog Interpreter Based on a Pure Object Oriented Term Hierarchy}},
	Year = {2012}}

@misc{kernel,
	Author = {Paul Tarau},
	Month = may,
	Note = {\url{https://code.google.com/archive/p/kernel-prolog/}},
	Title = {{Kernel Prolog: a Java-based Prolog Interpreter Based on a Pure Object Oriented Term Hierarchy}},
	Year = {2012}}

@misc{jinni,
	Author = {Paul Tarau},
	Month = may,
	Note = {\url{https://code.google.com/archive/p/jinniprolog/}},
	Title = {{Jinni Prolog: a Java-based Prolog compiler and runtime system }},
	Year = {2012}}

@inproceedings{sac14,
	Address = {Gyeongju, Korea},
	Author = {Tarau, Paul and Buckles, Bill},
	Booktitle = {{Proceedings of SAC'14, ACM Symposium on Applied Computing, PL track}},
	Month = mar,
	Pages = {1593--1600},
	Publisher = {ACM},
	Title = {{Arithmetic Algorithms for Hereditarily Binary Natural Numbers}},
	Year = {2014}}

@inproceedings{lata14,
	Address = {Madrid, Spain,},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of Language and Automata Theory and Applications, 8th International Conference, LATA 2014}},
	Editor = {Dediu, Adrian-Horia and Martin-Vide, Carlos and Sierra, Jos\'e-Luis and Truthe, Bianca},
	Month = mar,
	Pages = {564-576},
	Publisher = {Springer, LNCS},
	Title = {{Computing with Catalan Families}},
	Year = {2014}}

@inproceedings{padl14,
	Address = {San Diego, CA, USA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the Sixteenth International Symposium on Practical Aspects of Declarative Languages PADL'14}},
	Editor = {Flatt, Matthew and Guo, Hai-Feng},
	Month = jan,
	Pages = {120-135},
	Publisher = {Springer, LNCS 8324},
	Title = {{A Declarative Specification of Giant Number Arithmetic}},
	Year = {2014}}

@article{bintrees,
	Author = {Haraburda, David and Tarau, Paul},
	Journal = {Computer Languages, Systems \& Structures},
	Number = {4},
	Pages = {163 - 181},
	Publisher = {Elsevier},
	Title = {Binary trees as a computational framework},
	Volume = {39},
	Year = {2013}}

@inproceedings{racs13,
	Address = {Montreal, Canada},
	Author = {Tarau, Paul},
	Booktitle = {{RACS'2013: Proceedings Research in Adaptive and Convergent Systems}},
	Editor = {Hong, Jiman and Nadimi, Esmaeil},
	Howpublished = {acceptance rate 24 perc},
	Month = oct,
	Pages = {57-62},
	Publisher = {ACM},
	Title = {{Two Mechanisms for Generating Infinite Families of Pairing Bijections}},
	Year = {2013}}

@article{serpro,
	Author = {Tarau, Paul},
	Journal = {Theory and Practice of Logic Programming},
	Number = {4-5},
	Pages = {847-861},
	Title = {{Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and G\"odel Numberings)}},
	Volume = {13},
	Year = {2013},
        doi = {10.1017/S1471068413000537}
}

@inproceedings{ciclops13,
	Address = {Istanbul, Turkey},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of the 13th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2013)}},
	Editor = {Rocha, Ricardo and Have, Christian Theil},
	Month = aug,
	Note = {http://arxiv.org/abs/1307.8389},
	Title = {{A Prolog Specification of Giant Number Arithmetic}},
	Year = {2013}}

@misc{arxiv:hbin,
	Author = {Paul Tarau},
	Month = jun,
	Note = {http://arxiv.org/abs/1306.1128},
	Title = {{Arithmetic Algorithms for Hereditarily Binary Natural Numbers}},
	Year = {2013}}

@misc{arxiv:vw,
	Author = {Paul Tarau},
	Month = jan,
	Note = {http://arxiv.org/abs/1301.0114},
	Title = {{Tree-based Arithmetic and Compressed Representations of Giant Numbers}},
	Year = {2013}}

@misc{arxiv:inf,
	Author = {Paul Tarau},
	Month = jan,
	Note = {http://arxiv.org/abs/11301.0129},
	Title = {{On Two Infinite Families of Pairing Bijections}},
	Year = {2013}}

@misc{arxiv:gencons,
	Author = {Paul Tarau},
	Month = jan,
	Note = {http://arxiv.org/abs/11301.0128},
	Title = {{Binary Tree Arithmetic with Generalized Constructors}},
	Year = {2013}}

@inproceedings{synasc2014,
	Author = {Paul Tarau},
	Booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September 22-25, 2014},
	Editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
	Pages = {109-116},
	Publisher = {{IEEE}},
	Title = {{ New Arithmetic Algorithms for Hereditarily Binary Natural Numbers}},
	Year = {2014}}

@inproceedings{synasc12a,
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of SYNASC 2012}},
	Editor = {Voronkov, Andrei and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen and Zaharie, Daniela},
	Month = jan,
	Note = {invited talk},
	Pages = {15-22},
	Publisher = {IEEE},
	Title = {{Computing with Free Algebras}},
	Year = {2013}}

@inproceedings{synasc12b,
	Author = {Paul Tarau and Brenda Luderman},
	Booktitle = {{Proceedings of SYNASC 2012}},
	Editor = {Voronkov, Andrei and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen and Zaharie, Daniela},
	Month = jan,
	Pages = {384-392},
	Publisher = {IEEE},
	Title = {{ Boolean Evaluation with a Pairing and Unpairing Function}},
	Year = {2013}}

@inproceedings{racs12a,
	Address = {San Antonio, Texas},
	Author = {Tarau, Paul and Majumdar, Arun and Moura, Paulo},
	Booktitle = {{Proceedings of the ACM Research in Applied Computation Symposium, RACS 2012}},
	Editor = {Guo, Minyi and Hong, Jiman and Nadimi, Esmaeil},
	Howpublished = {acceptance rate 21 perc},
	Month = oct,
	Pages = {263-269},
	Publisher = {ACM},
	Title = {{Agent Spaces: a Scalable Architecture for Distributed Logic Agents}},
	Year = {2012}}

@inproceedings{racs12b,
	Address = {San Antonio, Texas},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{Proceedings of the ACM Research in Applied Computation Symposium, RACS 2012}},
	Editor = {Guo, Minyi and Hong, Jiman and Nadimi, Esmaeil},
	Howpublished = {acceptance rate 21 perc},
	Month = oct,
	Pages = {389-395},
	Publisher = {ACM},
	Title = {{Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis}},
	Year = {2012}}

@inproceedings{iclp12,
	Address = {Budapest, Hungary},
	Author = {Tarau, Paul},
	Booktitle = {{28-th International Conference on Logic Programming - Technical Communications (ICLP'12)}},
	Editor = {Dovier, Agostino and Costa, Vitor Santos},
	Month = sep,
	Title = {{Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection}},
	Year = {2012}}

@inproceedings{padl12,
	Address = {Philadelphia, PA},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of PADL'2012, Practical Aspects of Declarative Languages}},
	Editor = {Russo, Claudio and Zhou, Neng-Fa},
	Howpublished = {acceptance 50p},
	Month = jan,
	Pages = {273-289},
	Publisher = {Springer, LNCS7149},
	Title = {{Declarative Specification of Tree-based Symbolic Arithmetic Computations}},
	Year = {2012}}

@inproceedings{sac12,
	Address = {Riva del Garda (Trento), Italy},
	Author = {Tarau, Paul and Haraburda, David},
	Booktitle = {{Proceedings of SAC'12, ACM Symposium on Applied Computing, PL track}},
	Howpublished = {acceptance 25.6p},
	Month = mar,
	Pages = {1889-1896},
	Title = {{On Computing with Types}},
	Year = {2012}}

@inproceedings{ciclops11a,
	Address = {Lexington, KY},
	Author = {Tarau, Paul},
	Booktitle = {{CICLOPS'2011}},
	Month = jul,
	Title = {{Computing with Hereditarily Finite Sequences}},
	Year = {2011}}

@inproceedings{ciclops11b,
	Address = {Lexington, KY},
	Author = {Tarau, Paul},
	Booktitle = {{CICLOPS'2011}},
	Month = jul,
	Title = {{Bijective Term Encodings}},
	Year = {2011}}

@inproceedings{lpmas11,
	Address = {Lexington, KY},
	Author = {Tarau, Paul and Majumdar, Arun},
	Booktitle = {{LPMAS'2011}},
	Month = jul,
	Note = {http://www.cs.nmsu.edu/~epontell/LPMAS11/agenda.html},
	Title = {{Agent Mobility with Weak Local Inheritance and Transactional Remote Logic Invocation}},
	Year = {2011}}

@inproceedings{ictac11tarau,
	Address = {Johannesburg, South Africa},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011}},
	Editor = {Cerone, Antonio and Pihlajasaari, Pekka},
	Howpublished = {acceptance 33p},
	Month = sep,
	Pages = {218-238},
	Publisher = {Springer, LNCS 6916},
	Title = {{Emulating Primality with Multiset representations of Natural Numbers}},
	Year = {2011}}

@inproceedings{cie11tarau,
	Address = {Sofia, Bulgaria},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{Computability in Europe, Models of Computation in Context, CiE 2011}},
	Month = jul,
	Title = {{Emulating Boolean Computations with Pairing and Unpairing Functions}},
	Year = {2011}}

@article{bp2011,
	Author = {Tarau, Paul},
	Journal = {Theory and Practice of Logic Programming},
	Number = {1-2},
	Pages = {97--126},
	Title = {{The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines}},
	Volume = {12},
	Year = {2012},
        doi = {10.1017/S1471068411000433}
}

@inproceedings{ismm11tarau,
	Author = {Paul Tarau},
	Booktitle = {Proceedings of the 10th International Symposium on Memory Management},
	Howpublished = {acceptance 51p},
	Pages = {129-138},
	Place = {San Jose, CA, USA},
	Publisher = {ACM},
	Title = {{Integrated Symbol Table, Engine and Heap Memory Management in Multi-engine Prolog}},
	Year = {2011}}

@proceedings{DBLP:conf/iwmm/2011,
	Booktitle = {ISMM},
	Editor = {Hans-Juergen Boehm and David F. Bacon},
	Publisher = {ACM},
	Title = {Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011},
	Year = {2011}}

@inproceedings{coord11tarau,
	Author = {Paul Tarau},
	Booktitle = {COORDINATION},
	Crossref = {DBLP:conf/coordination/2011},
	Howpublished = {acceptance 40p},
	Month = jun,
	Pages = {157-171},
	Title = {{Coordination and Concurrency in Multi-engine Prolog}},
	Year = {2011}}

@proceedings{DBLP:conf/coordination/2011,
	Address = {Berlin Heidelberg},
	Booktitle = {COORDINATION},
	Editor = {Wolfgang De Meuter and Gruia-Catalin Roman},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
	Volume = {6721},
	Year = {2011}}

@inproceedings{damp11tarau,
	//Howpublished = {acceptance xxp},
	Author = {Paul Tarau},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {DAMP},
	Crossref = {DBLP:conf/popl/2011damp},
	Ee = {http://doi.acm.org/10.1145/1926354.1926364},
	Pages = {55-64},
	Title = {{Concurrent Programming Constructs in Multi-engine Prolog: Parallelism just for the cores (and not more!)}}}

@proceedings{DBLP:conf/popl/2011damp,
	Booktitle = {DAMP},
	Editor = {Manuel Carro and John H. Reppy},
	Publisher = {ACM},
	Title = {{Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011}},
	Year = {2011}}

@article{everything,
	Author = {Tarau, Paul},
	Journal = {Complex Systems},
	Number = {18},
	Pages = {475--493},
	Title = {{``Everything Is Everything'' Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms}},
	Year = {2010}}

@inproceedings{ppdp10tarau,
	Address = {New York, NY, USA},
	Author = {Tarau, Paul},
	Booktitle = {{PPDP '10: Proceedings of the 12th international ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming}},
	Howpublished = {acceptance 36p},
	Location = {Hagenberg, Austria},
	Pages = {131--142},
	Publisher = {ACM},
	Title = {{Declarative Modeling of Finite Mathematics}},
	Year = {2010}}

@inproceedings{calc10tarau,
	Address = {Paris},
	Author = {Tarau, Paul},
	Booktitle = {{Intelligent Computer Mathematics, 17th Symposium, Calculemus 2010, 9th International Conference AISC/Calculemus/MKM 2010}},
	Editor = {S. Auxtier},
	Howpublished = {acceptance 50p},
	Month = jul,
	Pages = {247-261},
	Publisher = {Springer, LNAI 6167},
	Title = {{A Unified Formal Description of Arithmetic and Set Theoretical Data Types}},
	Year = {2010}}

@inproceedings{ictac10tarau,
	Address = {Natal, Brazil},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010}},
	Editor = {Cavalcanti, A. and Deharbe, D. and Gaudel, M. C. and Woodcock, J.},
	Howpublished = {acceptance 33p},
	Month = sep,
	Pages = {367-381},
	Publisher = {Springer, LNCS 6255},
	Title = {{On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types}},
	Year = {2010}}

@inproceedings{msfp10tarau,
	Address = {New York, NY, USA},
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of MSFP'10: ACM SIGPLAN Workshop on Mathematically Structured Functional Programming},
	Howpublished = {acceptance 50p},
	Location = {Baltimore, Maryland},
	Pages = {11-18},
	Publisher = {ACM},
	Title = {Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes},
	Year = {2010}}

@inproceedings{trends10tarau1,
	Address = {Norman, Oklahoma},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{Proceeding of the Symposium on Trends in Functional Programming}},
	Editor = {Page, Rex L. and Horvath, Zoltan and Zsok, Viktoria},
	Month = may,
	Pages = {77-90},
	Title = {{Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation}},
	Year = {2010}}

@inproceedings{trends10tarau2,
	Address = {Norman, Oklahoma},
	Author = {Tarau, Paul},
	Booktitle = {{Proceeding of the Symposium on Trends in Functional Programming}},
	Editor = {Page, Rex L. and Horvath, Zoltan and Zsok, Viktoria},
	Month = may,
	Pages = {284-293},
	Title = {{Efficient Bijective G\"{o}del Numberings for Term Algebras}},
	Year = {2010}}

@inproceedings{ppdp09pISO,
	Address = {Coimbra, Portugal},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of 11th International ACM SIGPLAN Symposium PPDP 2009}},
	Howpublished = {acceptance 45p},
	Month = sep,
	Pages = {171-182},
	Publisher = {ACM},
	Title = {{An Embedded Declarative Data Transformation Language}},
	Year = {2009}}

@inproceedings{calc09fiso,
	Address = {Grand Bend, Canada},
	Author = {Tarau, Paul},
	Booktitle = {{Intelligent Computer Mathematics, 16th Symposium, Calculemus, 8th International Conference MKM }},
	Editor = {Carette, J. and Dixon, L. and Coen, C. S. and Watt, S. M.},
	Howpublished = {acceptance 58p},
	Month = jul,
	Pages = {170-185},
	Publisher = {Springer, LNAI 5625},
	Title = {{A Groupoid of Isomorphic Data Transformations}},
	Year = {2009}}

@inproceedings{calc09bdd,
	Address = {Grand Bend, Canada},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{Proceedings of 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus 2009 - Emerging trends}},
	Month = jul,
	Note = {http://www.calculemus.net/meetings/ontario09/trends-09.pdf},
	Pages = {31-42},
	Title = {{Computing Ranking and Unranking Functions for BDDs}},
	Year = {2009}}

@inproceedings{sac09fISO,
	Address = {Honolulu, Hawaii},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of ACM SAC'09}},
	Month = mar,
	Pages = {1898-1903},
	Publisher = {ACM},
	Title = {{Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell}},
	Year = {2009}}

@misc{arxiv:fISO,
	Author = {Paul Tarau},
	Month = jan,
	Note = {Unpublished draft, http://arXiv.org/abs/0808.2953},
	Title = {{Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell}},
	Year = {2009}}

@inproceedings{padl09inter,
	Address = {Savannah, Georgia},
	Author = {Tarau, Paul and Majumdar, Arun},
	Booktitle = {{Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009}},
	Month = jan,
	Pages = {137-151},
	Publisher = {Springer, LNCS 5418},
	Title = {{Interoperating Logic Engines}},
	Year = {2009},
        doi = {10.1007/978-3-540-92995-6\_10}
}

@inproceedings{iclp08:inter,
	Address = {Udine, Italy},
	Author = {Tarau, Paul},
	Booktitle = {{Logic Programming, 24-th International Conference, ICLP}},
	Editor = {Garcia de la Banda, Maria and Pontelli, Enrico},
	Month = dec,
	Pages = {703-707},
	Publisher = {Springer, LNCS},
	Title = {{ Logic Engines as Interactors}},
	Year = {2008}}

@inproceedings{ciclops08:pINTER,
	Author = {Paul Tarau},
	Booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems},
	Editor = {Carro, Manuel and Demoen, Bart},
	Month = dec,
	Pages = {17-32},
	Title = {{Interactors: Logic Engine Interoperation with Pure Prolog Semantics}},
	Url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf},
	Year = {2008},
	Bdsk-Url-1 = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}}

@inproceedings{ciclops08:pISO,
	Author = {Paul Tarau},
	Booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems},
	Editor = {Carro, Manuel and Demoen, Bart},
	Month = dec,
	Pages = {107-123},
	Title = {{Declarative Combinatorics in Prolog: ShapeShifting Data Objects with Isomorphisms and Hylomorphisms}},
	Url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf},
	Year = {2008},
	Bdsk-Url-1 = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}}

@inproceedings{ciclops08:pBDD,
	Author = {Paul Tarau},
	Booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems},
	Editor = {Carro, Manuel and Demoen, Bart},
	Month = dec,
	Pages = {139-153},
	Title = {{Pairing Functions, Boolean Evaluation and Binary Decision Diagrams}},
	Url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf},
	Year = {2008},
	Bdsk-Url-1 = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}}

@misc{arxiv:interactors,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0556},
	Title = {{Logic Engines as Interactors}},
	Year = {2008}}

@misc{arxiv:fBDD,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0760},
	Title = {{Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell}},
	Year = {2008}}

@misc{arxiv:fSET,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0754},
	Title = {{A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions}},
	Year = {2008}}

@misc{arxiv:fFUN,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0753},
	Title = {{Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes}},
	Year = {2008}}

@misc{arxiv:pBDD,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0555},
	Title = {{Pairing Functions, Boolean Evaluation and Binary Decision Diagrams}},
	Year = {2008}}

@misc{arxiv:pFUN,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0554},
	Title = {{Ranking and Unranking of Hereditarily Finite Functions and Permutations}},
	Year = {2008}}

@misc{arxiv:pSET,
	Author = {Paul Tarau},
	Note = {http://arXiv.org/abs/0808.0540},
	Title = {{Executable Set Theory and Arithmetic Encodings in Prolog}},
	Year = {2008}}

@inproceedings{kdb93h,
	Author = {De Bosschere, K. and Tarau, P.},
	Class = {localpub},
	Crossref = {kdb93k},
	Pages = {91--104},
	Title = {Some {I}ssues in the {I}mplementation of a {U}nix-based {B}lackboard}}

@inproceedings{lpnet96:virtual,
	Author = {Tarau, Paul and De Bosschere, Koen},
	Crossref = {lpnet96},
	Title = {{Virtual {W}orld {B}rokerage with {B}in{P}rolog and {N}etscape}}}

@inproceedings{pt93c,
	Author = {Tarau, P. and De Bosschere, K.},
	Class = {localpub},
	Crossref = {kdb93k},
	Pages = {77--89},
	Title = {Non-{A}ssociative {B}lackboard {P}rogramming}}

@inproceedings{garcia00deliberative,
	Address = {Berlin Heidelberg},
	Author = {{A. Garcia and D. Gollapally and P. Tarau and G. Simari}},
	Booktitle = {{Proc. of the ECAI Workshop on Engineering Societies in the Agents' World}},
	Month = aug,
	Publisher = {Springer},
	Title = {{Deliberative stock market agents using Jinni and defeasible logic programming}},
	Url = {http://www.cs.kuleuven.ac.be/~lexe/papers/ESAW17.pdf},
	Year = {2000},
	Bdsk-Url-1 = {http://www.cs.kuleuven.ac.be/~lexe/papers/ESAW17.pdf}}

@inproceedings{AndrewsDT95,
	Address = {Portland, Oregon},
	Author = {J. Andrews and V. Dahl and P. Tarau},
	Booktitle = {ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs},
	Month = nov,
	Title = {Continuation {L}ogic {P}rogramming: {T}heory and {P}ractice},
	Year = {1995}}

@inproceedings{BT95a:ILPS,
	Address = {Portland, Oregon},
	Author = {Bekkers, Yves and Tarau, Paul},
	Booktitle = {Proceedings of ILPS'95},
	Editor = {Lloyd, John},
	Month = dec,
	Pages = {51-65},
	Publisher = {MIT Press},
	Title = {Monadic {C}onstructs for {L}ogic {P}rogramming},
	Year = {1995}}

@inproceedings{BT95:JFPL,
	Address = {Dijon},
	Author = {Bekkers, Yves and Tarau, Paul},
	Booktitle = {Proceedings of JFPL'95},
	Month = may,
	Title = {Logic {P}rogramming with {M}onads and {C}omprehensions},
	Year = {1995}}

@inproceedings{picnet,
	Address = {Stanford, CA},
	Author = {Borman, Andy and Mihalcea, Rada and Tarau, Paul},
	Booktitle = {{Proceedings of the AAAI Spring Symposium on Knowledge Collection from Volunteer Contributors)}},
	Month = mar,
	Title = {{PicNet: Pictorial Representations for Illustrated Semantic Networks}},
	Year = {2005}}

@inproceedings{DFRT96,
	Address = {Toulouse, France},
	Author = {Veronica Dahl and Andrew Fall and Stephen Rochefort and Paul Tarau},
	Booktitle = {Proc. 8th IEEE International Conference on Tools with Artificial Intelligence},
	Month = {November},
	Title = {A {H}ypothetical {R}easoning {F}ramework for {NL} {P}rocessing},
	Year = {1996}}

@inproceedings{asai04,
	Address = {Cordoba, Argentina},
	Author = {Dahl, Veronica and Tarau, Paul},
	Booktitle = {{Proceedings of ASAI 2004 VI Argentine Symposium on Artificial Intelligence}},
	Month = sep,
	Title = {{Assumptive Logic Programming}},
	Year = {2004}}

@article{canai98,
	Author = {Dahl, Veronica and Tarau, Paul},
	Journal = {Canadian Artificial Intelligence},
	Month = apr,
	Number = {42},
	Publisher = {Canadian Society for Computational Studies of Intelligence},
	Title = {{From Assumptions to Meaning}},
	Year = {1998}}

@techreport{TDF95b,
	Author = {Fall, Andrew and Tarau, Paul and Dahl, Veronica},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = apr,
	Number = {95-3},
	Title = {Natural {L}anguage {P}rocessing with {H}ypothetical {A}ssumption {G}rammars and {S}parse {T}erm {T}axonomies},
	Year = {1995}}

@techreport{jags,
	Author = {Dahl, Veronica and Tarau, Paul},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = apr,
	Number = {97-1},
	Title = {{Assumption Grammars: Parsing as Hypothetical Reasoning}},
	Year = {1997}}

@inproceedings{DTARS97a,
	Author = {Veronica Dahl and Paul Tarau and Pablo Accuosto and Stephen Rochefort and Marius Scortescu},
	Booktitle = {Natural Language Databases},
	Month = {june},
	Place = {Vancouver, British Columbia},
	Title = {Assumption Grammars for Knowledge Based Systems},
	Year = {1997}}

@article{DTRS98a,
	Author = {Dahl, V. and Tarau, P. and Accuosto, P. and Rochefort, S. and Scurtescu, M.},
	Journal = {Informatica},
	Note = {Special Issue on NLP and Agent Communication},
	Number = {4},
	Title = {{Assumption Grammars for Knowledge Based Systems}},
	Year = {1998}}

@inproceedings{DahlT95a,
	Author = {V. Dahl and P. Tarau and J. Andrews},
	Booktitle = {Proc. of NLDB'95, Paris},
	Month = may,
	Title = {Extending {D}atalog {G}rammars},
	Year = {1995}}

@inproceedings{DTN:Gulp94,
	Address = {Peniscola, Spain},
	Author = {Veronica Dahl and Paul Tarau and Yan Nong Huang},
	Booktitle = {Proc. 1994 Joint Conference on Declarative Programming},
	Key = {Dahl},
	Month = {September},
	Pages = {268--282},
	Title = {Datalog {G}rammars},
	Year = {1994}}

@inproceedings{DT97:AGNL,
	Address = {MIT press},
	Author = {Dahl, Veronica and Tarau, Paul and Li, Renwei},
	Booktitle = {{Proceedings of the Fourteenth International Conference on Logic Programming}},
	Editor = {Lee Naish},
	Pages = {256--270},
	Title = {Assumption {G}rammars for {P}rocessing {N}atural {L}anguage},
	Year = {1997}}

@inproceedings{DahlT95b,
	Address = {Edinburgh},
	Author = {V. Dahl and P. Tarau and L. Moreno and M. Palomar},
	Booktitle = {Proceedings of the Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic For Natural Language Processing},
	Month = apr,
	Title = {Treating {C}oordination with {D}atalog {G}rammars},
	Year = {1995}}

@inproceedings{NewMexico,
	Address = {New Mexico},
	Author = {Veronica Dahl and Paul Tarau and Stephen Rochefort and Marius Scortescu},
	Booktitle = {International Workshop on Spanish Natural Language Processing and Spanish Language Technologies},
	Month = jul,
	Note = {invited talk},
	Title = {A {S}panish {I}nterface to {L}ogi{M}oo- towards multilingual virtual worlds},
	Year = {1997}}

@article{DTRS98b,
	Author = {Dahl, V. and Tarau, P. and Rochefort, S. and Scurtescu, M.},
	Journal = {Informatica},
	Key = {Dahl},
	Month = jun,
	Number = {2},
	Title = {A {S}panish {I}nterface to {L}ogi{M}oo- towards multilingual virtual worlds},
	Year = {1999}}

@inproceedings{DPT96:PAP,
	Address = {London},
	Author = {De Bosschere, Koen and Perron, Daniel and Tarau, Paul},
	Booktitle = {Proceedings of PAP'96},
	Comment = {ISBN 0 9525554 1 7},
	Month = apr,
	Pages = {51--64},
	Title = {Logi{MOO}: {P}rolog {T}echnology for {V}irtual {W}orlds},
	Year = {1996}}

@inproceedings{kdb93j,
	Address = {Phoenix/AZ},
	Author = {De Bosschere, K. and Tarau, P.},
	Booktitle = {Proceedings of the 1994 ACM Symposium on Applied Computing},
	Editor = {Deaton, E. and Oppenheim, D. and Urban, J. and Berghel, H.},
	Month = mar,
	Pages = {383--387},
	Publisher = {ACM Press},
	Title = {{H}igh {P}erformance {C}ontinuation {P}assing {S}tyle {P}rolog-to-{C} {M}apping},
	Year = {1994}}

@article{dbt95a,
	Author = {De Bosschere, K. and Tarau, P.},
	Journal = {Software --- Practice and Experience},
	Month = jan,
	Number = {1},
	Pages = {49--69},
	Title = {Blackboard-based {E}xtensions in {P}rolog},
	Volume = {26},
	Year = {1996}}

@inproceedings{kdb93d,
	Address = {Grenoble, France},
	Author = {De Bosschere, K. and Tarau, P.},
	Booktitle = {Proceedings of the PARCO'93 Conference},
	Class = {int-conference},
	Month = sep,
	Pages = {257-264},
	Title = {{B}lackboard {C}ommunication in {L}ogic {P}rogramming},
	Year = {1993}}

@inproceedings{kdb93f,
	Address = {Vancouver, Canada},
	Author = {De Bosschere, K. and Tarau, P.},
	Booktitle = {Proceedings of the 1993 ILPS Conference},
	Class = {int-conference},
	Pages = {664},
	Title = {Blackboard-based {E}xtensions for {P}arallel {P}rogramming in {B}in{P}rolog},
	Year = {1993}}

@techreport{kdb93l,
	Address = {Universiteit Gent},
	Author = {De Bosschere, K. and Tarau, P.},
	Institution = {Vakgroep Elektronica en Informatiesystemen},
	Month = nov,
	Number = {{DG} 93-15},
	Title = {Continuation {P}assing {S}tyle {P}rolog-to-{C} {M}apping at {N}ative {WAM}-speed},
	Type = {{ELIS} {T}echnical {R}eport},
	Year = {1993}}

@inproceedings{DMT87:Parda,
	Author = {J. DeFinney and C. Moghrabi and P. Tarau},
	Booktitle = {proceedings of ICCAI, Calgary 1987},
	Editor = {J.A. Bates, D. Kemp},
	Pages = {305-316},
	Title = {A {P}arser and {T}ext {G}eneration {S}ystem for {A}rgumentative {D}iscourse},
	Year = {1987}}

@inproceedings{Demoen95:Benelog,
	Author = {Bart Demoen and Geert Engels and Paul Tarau},
	Booktitle = {Proceedings of BENELOG'1995},
	Editor = {Koen De Bosschere},
	Month = sep,
	Title = {Rejuvenating {F}uture {G}arbage in {WAM}},
	Year = {1995}}

@inproceedings{Demoen96:GC,
	Address = {Philadelphia},
	Author = {Demoen, Bart and Engels, Gert and Tarau, Paul},
	Booktitle = {Proceedings of the 1996 ACM Symposium on Applied Computing},
	Month = feb,
	Pages = {380--386},
	Publisher = {ACM Press},
	Title = {Segment {P}reserving {C}opying {G}arbage {C}ollection for {WAM} based {P}rolog},
	Year = {1996}}

@techreport{Leuven95:GC,
	Author = {Demoen, Bart and Engels, Geert and Tarau, Paul},
	Institution = {KU Leuven},
	Number = {CW-202},
	Title = {Issues in (copying) garbage collection for {(Bin)WAM}},
	Type = {Technical Report},
	Year = {1994}}

@inproceedings{Fall95:Context,
	Address = {Montreal},
	Author = {Fall, Andrew and Dahl, Veronica and Tarau, Paul},
	Booktitle = {Proc. of IJCAI'95 Context in Natural Language Workshop},
	Month = aug,
	Title = {Resolving {C}o-specification in {C}ontexts},
	Year = {1995}}

@inproceedings{isws04:web,
	Address = {Las Vegas, Nevada, USA},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{Proceedings of The International Symosium On Web Services and Applications ISWS''04}},
	Editor = {H.R. Arabnia and S. Chatterjee},
	Month = jun,
	Pages = {773-782},
	Title = {{Conversational Agents as Web Services}},
	Year = {2004}}

@inproceedings{tidse:vista,
	Address = {Darmstadt, Germany},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{TIDSE'2003}},
	Editor = {N. Braun and U. Spierling},
	Month = mar,
	Title = {{The VISTA Project: An Agent Architecture for Virtual Interactive Storytelling}},
	Year = {2003}}

@inproceedings{tidse:wnet,
	Address = {Darmstadt, Germany},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{TIDSE'2003}},
	Editor = {N. Braun and U. Spierling},
	Month = mar,
	Title = {{Story Traces and Projections: Exploring the Patterns of Storytelling}},
	Year = {2003}}

@inproceedings{aamas:emb,
	Address = {New York, USA},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{Proceedings of the AAMAS 2004 Workshop On Embodied Conversational Agents: Balanced Perception and Action}},
	Editor = {C. Pelachaud, Zsofia Ruttkay and Kris Thorisson},
	Month = jul,
	Pages = {108-114},
	Title = {{Knowledge Assimilation and Web Deployment Techniques for Conversational Agents}},
	Year = {2004}}

@inproceedings{asist:lex,
	Address = {Long Beach, California},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{Proceedings of the 66th Annual Meeting of American Society for Information Science and Technology}},
	Editor = {Ross J. Todd},
	Month = oct,
	Pages = {165-173},
	Title = {{Lexical Inference Mechanisms for Text Understanding and Classification}},
	Year = {2003}}

@inproceedings{cscw2002,
	Address = {New Orleans},
	Author = {Elizabeth Figa and Paul Tarau},
	Booktitle = {{CSCW 2002 Workshop on Storytelling and Collaborative Activities}},
	Month = nov,
	Title = {{The VISTA Project: An Agent Architecture for Virtual Interactive Storytelling}},
	Url = {http://www.acm.org/cscw2002/prog-workshops.html},
	Year = {2002},
	Bdsk-Url-1 = {http://www.acm.org/cscw2002/prog-workshops.html}}

@article{sig:story,
	Author = {Elizabeth Figa and Paul Tarau},
	Journal = {SIGGROUP Bull.},
	Number = {2},
	Pages = {27--28},
	Publisher = {ACM Press},
	Title = {The VISTA architecture: experiencing stories through virtual storytelling agents},
	Volume = {23},
	Year = {2002}}

@inproceedings{london_vrml,
	Address = {London, UK},
	Author = {Gupta, Anima and Tarau, Paul},
	Booktitle = {{Proceedings of CL2000 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming}},
	Editor = {Ines de Castro Dutra},
	Month = jun,
	Title = {{Assumption Grammars for Generating Dynamic VRML Pages}},
	Url = {http://www.cos.ufrj.br/~parimp00},
	Year = {2000},
	Bdsk-Url-1 = {http://www.cos.ufrj.br/~parimp00}}

@inproceedings{padl_vrml,
	Address = {Las Vegas},
	Author = {Gupta, Anima and Tarau, Paul},
	Booktitle = {{Proceedings of PADL'2001}},
	Editor = {I.V. Ramakrishan and Gopal Gupta},
	Month = mar,
	Note = {Springer-Verlag},
	Title = {{Logic Programming Techniques for Dynamic VRML Web Content Generation}},
	Year = {2001}}

@inproceedings{hk97,
	Address = {Hong Kong},
	Author = {Huang, Yan-Nuong and Tarau, Paul},
	Booktitle = {Proceedings of the 8th International Database Workshop},
	Month = jul,
	Title = {Efficient {P}oint {D}ata {C}lustering by {D}atabase {O}perations},
	Year = {1997}}

@inproceedings{sac05hurt,
	Address = {Santa Fe, NM},
	Author = {Hurt, David and Tarau, Paul},
	Booktitle = {{ Proceedings of the ACM Conference on Applied Computing (ACM-SAC 2005) }},
	Howpublished = {acceptance 36p},
	Month = mar,
	Pages = {74-78},
	Title = {{An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems}},
	Year = {2005}}

@inproceedings{kccp07,
	Address = {Whistler, BC},
	Author = {Majumdar, Arun and Keeler, Mary and Tarau, Paul and Sowa, John},
	Booktitle = {{First Workshop on Knowledge Capture and Constraint Programming (KCCP-2007)}},
	Howpublished = {http://4c.ucc.ie/creeds/kcapWorkshop.html},
	Month = sep,
	Title = {{Semantic Distances As Knowledge Capture Constraints}},
	Year = {2007}}

@inproceedings{ia05,
	Address = {McLean, VA},
	Author = {Mihalcea, Rada and Tarau, Paul},
	Booktitle = {{Proceedings of the First International Conference on Intelligent Analysis Methods and Tools (IA 2005)}},
	Month = may,
	Title = {{Multi-Document Summarization with Iterative Graph-based Algorithms}},
	Year = {2005}}

@inproceedings{ijcnlp05,
	Address = {Korea},
	Author = {Mihalcea, Rada and Tarau, Paul},
	Booktitle = {{Proceedings of the International Joint Conference on Natural Language Processing (IJCNLP)}},
	Howpublished = {acceptance 31p},
	Month = oct,
	Title = {{An Algorithm for Language Independent Single and Multiple Document Summarization}},
	Year = {2005}}

@inproceedings{coling04:pr,
	Address = {Geneva, Switzerland},
	Author = {Mihalcea, Rada and Tarau, Paul and Figa, Elizabeth},
	Booktitle = {{Proceedings of The 20st International Conference on Computational Linguistics (COLING 2004)}},
	Month = aug,
	Title = {{PageRank on Semantic Networks, with application to Word Sense Disambiguation}},
	Url = {http://www.issco.unige.ch/coling2004/},
	Year = {2004},
	Bdsk-Url-1 = {http://www.issco.unige.ch/coling2004/}}

@inproceedings{EMNLP:TR,
	Address = {Barcelona, Spain},
	Author = {Mihalcea, Rada and Tarau, Paul},
	Booktitle = {{Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP 2004)}},
	Howpublished = {acceptance 23p},
	Month = jul,
	Title = {{TextRank: Bringing Order into Texts}},
	Year = {2004}}

@inproceedings{mikler:hpc99,
	Author = {Mikler, A.R. and Unger, H. and Tarau, P. and Hopper, A. S. and Chen, F.},
	Booktitle = {{High Performance Computing'99, Special Session on Adaptive and Intelligent Computing Systems}},
	Title = {{A Mobile Agent-Based File System for Distributed Networks}},
	Year = {1999}}

@inproceedings{RDT99,
	Address = {Seattle, Washington},
	Author = {Stephen Rochefort and Veronica Dahl and Paul Tarau},
	Booktitle = {{Proceedings of EMEDIA'99 World Conference on Educational Multimedia, Hypermedia and Telecommunications}},
	Month = {june},
	Title = {{A Framework for Virtual Learning Environments}},
	Year = {1999}}

@inproceedings{RDT98,
	Address = {Orlando, Florida},
	Author = {Stephen Rochefort and Veronica Dahl and Paul Tarau},
	Booktitle = {World Multiconference on Systemics, Cybernetics, and Informatics},
	Month = {july},
	Title = {{A Virtual Environment for Collaborative Learning}},
	Year = {1998}}

@inproceedings{RDT98b,
	Address = {Tokyo, Japan},
	Author = {Stephen Rochefort and Veronica Dahl and Paul Tarau},
	Booktitle = {{Proceedings of the 11th International Conference on Applications of Prolog}},
	Title = {{An Agent Communication Protocol for the Feature Interaction Problem}},
	Year = {1998}}

@inproceedings{RDT97,
	Address = {Stanford University, CA},
	Author = {Rochefort, Stephen and Dahl, Veronica and Tarau, Paul},
	Booktitle = {AAAI Symposium on NLP for the WWW},
	Title = {Controlling {V}irtual {W}orlds through {E}xtensible {N}atural {L}anguage},
	Year = {1997}}

@techreport{SDT98,
	Author = {Schiel, Andrea and Dahl, Veronica and Tarau, Paul},
	Institution = {Simon Fraser University},
	Title = {{Generating Internet Based VRML Animations through Natural Language Controlled Partial Order Planners}},
	Type = {Technical Report},
	Year = {1998}}

@inproceedings{tarau:shaker,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul},
	Booktitle = {{The Logic Programming Paradigm: a 25 Year Perspective}},
	Editor = {K.R. Apt and V.W. Marek and M. Truszczynski},
	Note = {ISBN 3-540-65463-1},
	Pages = {33-48},
	Publisher = {Springer},
	Title = {{Inference and Computation Mobility with Jinni}},
	Year = {1999}}

@inproceedings{Tarau92:ECO,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul},
	Booktitle = {Memory Management International Workshop IWMM 92 Proceedings},
	Editor = {Y. Bekkers and J. Cohen},
	Keywords = {Logic Programming},
	Month = sep,
	Number = {637},
	Pages = {344--356},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{E}cological {M}emory {M}anagement in a {C}ontinuation {P}assing {P}rolog {E}ngine},
	Year = {1992}}

@inproceedings{Tarau92:PLILP,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of Programming Language Implementation and Logic Programming},
	Editor = {M. Bruynooghe and M. Wirsing},
	Keywords = {Logic Programming},
	Month = aug,
	Note = {poster},
	Number = {631},
	Pages = {479--480},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{B}in{P}rolog: a {C}ontinuation {P}assing {S}tyle {P}rolog {E}ngine},
	Year = {1992}}

@inproceedings{ciclops:jinni,
	Address = {Saint-Malo, France},
	Author = {Tarau, Paul},
	Booktitle = {{Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation of Constraint and Logic Programming Systems}},
	Editor = {Carro, Manuel and Morales, Jose F.},
	Month = sep,
	Title = {{Orthogonal Language Constructs for Agent Oriented Logic Programming}},
	Url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/},
	Year = {2004},
	Bdsk-Url-1 = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/}}

@inproceedings{TA94:JFPL,
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of JFPL'94},
	Editor = {M.-M. Corsini},
	Month = jun,
	Title = {Low Level {I}ssues in {I}mplementing a {H}igh-{P}erformance {C}ontinuation {P}assing {B}inary {P}rolog {E}ngine},
	Year = {1994}}

@inproceedings{iclp04:jinni,
	Address = {Saint-Malo, France},
	Author = {Tarau, Paul},
	Booktitle = {{Logic Programming, 20-th International Conference, ICLP 2004}},
	Editor = {Demoen, Bart and Lifschitz, Vladimir},
	Month = sep,
	Pages = {477-478},
	Publisher = {Springer, LNCS 3132},
	Title = {{Agent Oriented Logic Programming Constructs in Jinni 2004}},
	Year = {2004}}

@inproceedings{T98:jelia,
	Address = {Dagstuhl, Germany},
	Author = {Paul Tarau},
	Booktitle = {{Proceedings of JELIA'98, LNAI 1489}},
	Editor = {J. Dix and U. Furbach},
	Month = oct,
	Note = {invited talk},
	Pages = {385--390},
	Publisher = {Springer},
	Title = {{Towards Inference and Computation Mobility: The Jinni Experiment}},
	Year = {1998}}

@inproceedings{tarau:parimp99,
	Address = {Las Cruces, NM},
	Author = {Paul Tarau},
	Booktitle = {{Proceedings of Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages}},
	Editor = {Gopal Gupta and Enrico Pontelli},
	Month = nov,
	Title = {{Multi-Engine Horn Clause Prolog}},
	Url = {http://www.cs.nmsu.edu/lldap/iclp99/},
	Year = {1999},
	Bdsk-Url-1 = {http://www.cs.nmsu.edu/lldap/iclp99/}}

@inproceedings{Tarau91:CONS,
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of the ICLP'91 Workshop on Constructing Logic Programs},
	Editor = {J.M. Jacquet},
	Publisher = {Paris},
	Title = {Nonstandard {A}nswers of {E}lementary {L}ogic {P}rograms},
	Year = {1991}}

@inproceedings{tarau:cl2000,
	Address = {London, UK},
	Author = {Paul Tarau},
	Booktitle = {{Computational Logic--CL 2000: First International Conference}},
	Editor = {John Lloyd},
	Month = jul,
	Note = {LNCS 1861, Springer-Verlag},
	Title = {{Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects}},
	Year = {2000},
        doi = "10.1007/3-540-44957-4\_82"}

@inproceedings{ilps97tut,
	Address = {MIT press},
	Author = {Tarau, Paul},
	Booktitle = {Logic Programming, Proceedings of the 1997 International Symposium},
	Editor = {Jan Maluszynski},
	Pages = {33--34},
	Title = {{Logic Programming Tools for Advanced Internet Programming}},
	Url = {http://www.cs.unt.edu/~tarau/research/PapersHTML/ptut/art.ps},
	Year = {1997},
	Bdsk-Url-1 = {http://www.cs.unt.edu/~tarau/research/PapersHTML/ptut/art.ps}}

@inproceedings{Tarau93:GULP,
	Address = {Gizzeria Lido, Italy},
	Author = {Tarau, Paul},
	Booktitle = {Proceeding of the GULP'93 Conference},
	Editor = {Sacca, Domenico},
	Month = jun,
	Title = {Language {I}ssues and {P}rogramming {T}echniques in {B}in{P}rolog},
	Year = {1993}}

@inproceedings{T98:Jinni,
	Address = {Manchester, U.K.},
	Author = {Paul Tarau},
	Booktitle = {{Proceedings of JICSLP'98 Implementation of LP languages Workshop}},
	Editor = {Kostis Sagonas},
	Month = jun,
	Note = {invited talk},
	Title = {{Jinni: a Lightweight Java-based Logic Engine for Internet Programming}},
	Year = {1998}}

@inproceedings{mascot_ags,
	Address = {Fort Worth},
	Author = {Paul Tarau},
	Booktitle = {{First International Workshop on Distributed Computing with Agent Technologies}},
	Editor = {Joao Bosco Mangueira Sobral},
	Month = oct,
	Note = {URL: http://www.inf.ufsc.br/$sim$bosco/workshop\_program.htm},
	Title = {{Object Oriented Logic Programming as an Agent Building Infrastructure}},
	Year = {2002}}

@inproceedings{tarau:dipcl99,
	Address = {Las Cruces, NM},
	Author = {Paul Tarau},
	Booktitle = {{Proceedings of DIPLCL'99}},
	Editor = {Van Roy, P. and Tarau, P.},
	Month = nov,
	Title = {{A Logic Programming Based Software Architecture for Reactive Intelligent Mobile Agents}},
	Url = {http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html},
	Year = {1999},
	Bdsk-Url-1 = {http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html}}

@inproceedings{Tarau91:RU,
	Address = {Berlin, Heidelberg},
	Author = {Paul Tarau},
	Booktitle = {Logic Programming, RCLP Proceedings},
	Editor = {Voronkov, Andrei},
	Number = {592},
	Pages = {462--473},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {{P}rogram {T}ransformations and {WAM}-support for the {C}ompilation of {D}efinite {M}etaprograms},
	Year = {1992}}

@techreport{bp7advanced,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {{BinProlog 11.x Professional Edition: Advanced BinProlog Programming and Extensions Guide}},
	Url = {http://www.binnetcorp.com/BinProlog.},
	Year = {2006},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog.}}

@techreport{bp7crossref,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {{BinProlog 11.x Professional Edition: Predicate Cross-Reference Guide }},
	Url = {http://www.binnetcorp.com/BinProlog.},
	Year = {2006},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog.}}

@techreport{bp7interface,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {{BinProlog 11.x Professional Edition: BinProlog Interfaces Guide}},
	Url = {http://www.binnetcorp.com/BinProlog.},
	Year = {2006},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog.}}

@techreport{bp7internet,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {{BinProlog 11.x Professional Edition: Internet Programming Guide}},
	Url = {http://www.binnetcorp.com/BinProlog.},
	Year = {2006},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog.}}

@techreport{bp7user,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {{BinProlog 11.x Professional Edition: User Guide}},
	Url = {http://www.binnetcorp.com/BinProlog},
	Year = {2006},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog}}

@misc{j2k_ug,
	Author = {Paul Tarau},
	Institution = {BinNet Corp.},
	Note = {http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html},
	Title = {{The Jinni Prolog Compiler: a fast and flexible Prolog-in-Java}},
	Year = {2008}}

@inproceedings{tarau:paam99,
	Address = {London, U.K.},
	Author = {Paul Tarau},
	Booktitle = {{Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents}},
	Pages = {109-123},
	Title = {{Intelligent Mobile Agent Programming at the Intersection of Java and Prolog}},
	Year = {1999}}

@article{tarau:theor99,
	Author = {Tarau, Paul},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Number = {3},
	Title = {{Multi-Engine Horn Clause Prolog}},
	Volume = {30},
	Year = {1999}}

@inproceedings{hawai98,
	Address = {Big Island of Hawaii},
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of HICSS'98, Software Technology: Coordination Languages, Models, Systems},
	Month = jan,
	Title = {{Towards Logic Programming Based Coordination in Virtual Worlds}},
	Year = {1998}}

@techreport{TA98:BIN,
	Author = {Tarau, Paul},
	Institution = {BinNet Corp.},
	Title = {The {B}in{P}rolog {E}xperience: {I}mplementing a {H}igh-{P}erformance {C}ontinuation {P}assing {P}rolog {E}ngine},
	Url = {http://www.binnetcorp.com/BinProlog},
	Year = {1998},
	Bdsk-Url-1 = {http://www.binnetcorp.com/BinProlog}}

@techreport{Tarau97:BinProlog,
	Author = {Tarau, Paul},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = apr,
	Number = {97-1},
	Title = {Bin{P}rolog 5.75 {U}ser {G}uide},
	Url = {http://clement.info.umoncton.ca/BinProlog},
	Year = {1997},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/BinProlog}}

@techreport{Tarau97a:BinProlog,
	Author = {Tarau, Paul},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = oct,
	Number = {97-2},
	Title = {Bin{P}rolog 6.25 {U}ser {G}uide},
	Url = {http://clement.info.umoncton.ca/html},
	Year = {1997},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/html}}

@inproceedings{inap96,
	Address = {Tokyo},
	Author = {Paul Tarau},
	Booktitle = {Proceedings of INAP96},
	Month = nov,
	Note = {keynote address},
	Title = {Logic {P}rogramming and {V}irtual {W}orlds},
	Year = {1996}}

@techreport{Tarau96:BinProlog,
	Author = {Tarau, Paul},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = apr,
	Number = {96-1},
	Title = {Bin{P}rolog 5.25 {U}ser {G}uide},
	Url = {http://clement.info.umoncton.ca/BinProlog},
	Year = {1996},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/BinProlog}}

@article{TA95:TSI,
	Author = {Tarau, Paul},
	Comment = {Num\'ero special JFPL'95},
	Journal = {Technique et Science Informatique},
	Number = {6},
	Pages = {713--731},
	Publisher = {Hermes},
	Title = {Une machine abstraite optimis\'ee \`a passage de continuations: l'exp\'erience {B}in{P}rolog},
	Volume = {14},
	Year = {1995}}

@techreport{Tarau95:BinProlog,
	Author = {Tarau, Paul},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = feb,
	Note = {Available by ftp from {\em clement.info.umoncton.ca}.},
	Number = {95-1},
	Title = {Bin{P}rolog 4.00 {U}ser {G}uide},
	Year = {1995}}

@techreport{Tarau94:BinProlog,
	Author = {Tarau, Paul},
	Institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
	Month = feb,
	Note = {ftp://clement.info.umoncton.ca/{B}in{P}rolog},
	Number = {94-1},
	Title = {Bin{P}rolog 2.20 {U}ser {G}uide},
	Year = {1994}}

@techreport{Tarau93:BinProlog,
	Author = {Tarau, Paul},
	Institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
	Month = feb,
	Note = {ftp://clement.info.umoncton.ca/{B}in{P}rolog},
	Number = {93-1},
	Title = {Bin{P}rolog 1.71 {U}ser {G}uide},
	Year = {1993}}

@inproceedings{Tarau93a,
	Address = {Vancouver, Canada},
	Author = {Tarau, P},
	Booktitle = {Proceedings of the 1993 ILPS Conference},
	Class = {int-conference},
	Note = {poster},
	Publisher = {MIT Press},
	Title = {An {E}fficient {S}pecialization of the {WAM} for {C}ontinuation {P}assing {B}inary Programs},
	Year = {1993}}

@techreport{Tarau92:ECOold,
	Author = {Tarau, Paul},
	Institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
	Month = feb,
	Number = {92-1},
	Title = {Ecological {M}emory {M}anagement in a {C}ontinuation {P}assing {P}rolog Engine},
	Year = {1992}}

@techreport{Tarau92:WAMOpt,
	Author = {Tarau, Paul},
	Institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
	Month = jul,
	Note = {available by ftp from clement.info.umoncton.ca},
	Number = {92-3},
	Title = {{WAM}-optimizations in {B}in{P}rolog: {T}owards a {R}ealistic {C}ontinuation {P}assing {P}rolog {E}ngine},
	Year = {1992}}

@inproceedings{Tarau91:JAP,
	Author = {Paul Tarau},
	Booktitle = {Proceedings of the Logic Programming Conference'91},
	Month = {7},
	Pages = {119--128},
	Publisher = {ICOT, Tokyo},
	Title = {A {S}implified {A}bstract {M}achine for the {E}xecution of {B}inary {M}etaprograms},
	Year = {1991}}

@inproceedings{Tarau90:Apics,
	Author = {Tarau, Paul},
	Booktitle = {APICS 1990 Computer Science Conference},
	Month = aug,
	Publisher = {Universite de Moncton},
	Title = {A Family of Logic Program Transformations and Their Applications},
	Year = {1990}}

@inproceedings{Tarau90:UNB,
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of The Third UNB Artificial Intelligence Workshop},
	Month = aug,
	Publisher = {Fredericton, N.B},
	Title = {Conditional and {A}bstract {S}olutions of {E}lementary {L}ogic {P}rograms},
	Year = {1990}}

@phdthesis{TarauPhD,
	Author = {Paul Tarau},
	Month = {november},
	School = {Universit\'{e} de Montr\'{e}al},
	Title = {Transformation de programmes logiques. {B}ases s\'{e}mantiques et applications},
	Type = {PhD thesis},
	Year = {1990}}

@inproceedings{tb:ambients,
	Address = {Santorini, Greece},
	Author = {Tarau, Paul and Bouckerche, Azzedine},
	Booktitle = {{International Workshop on Ambient Intelligence Computing}},
	Editor = {Spirakis, P. and Kameas, A. and Nikoletseas, S.},
	Month = jun,
	Note = {ISBN 940-406-462-2},
	Pages = {83-99},
	Publisher = {CTI Press},
	Title = {{Agents and Ambient Intelligence in the Jinni Infrastructure}},
	Year = {2003}}

@inproceedings{Tarau89:Soft,
	Author = {Tarau, Paul and Boyer, Michel},
	Booktitle = {Meta-Programming in Logic Programming},
	Editor = {Harvey Abramson and M.H. Rogers},
	Keywords = {Logic Programming},
	Pages = {365--382},
	Publisher = {MIT Press},
	Title = {{P}rolog {M}eta-{P}rogramming with {S}oft {D}atabases},
	Year = {1989}}

@inproceedings{Tarau90:PLILP,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul and Boyer, Michel},
	Booktitle = {Proceedings of Programming Language Implementation and Logic Programming},
	Editor = {P. Deransart and J. Maluszy{\'n}ski},
	Keywords = {Logic Programming},
	Month = aug,
	Number = {456},
	Pages = {159--173},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{E}lementary {L}ogic {P}rograms},
	Year = {1990}}

@incollection{Tarau93:CONS,
	Address = {Hoboken, NJ},
	Author = {Tarau, Paul and Boyer, M.},
	Booktitle = {Constructing Logic Programs},
	Editor = {J.M. Jacquet},
	Pages = {279--300},
	Publisher = {J.Wiley},
	Title = {Nonstandard {A}nswers of {E}lementary {L}ogic {P}rograms},
	Year = {1993}}

@inproceedings{TD96:coord,
	Address = {Singapore},
	Author = {Paul Tarau and Veronica Dahl},
	Booktitle = {{Proceedings of Asian'96 Post-Conference Workshop on Coordination Technology for Collaborative Applications}},
	Editor = {Wolfram Conen and Gustaf Neumann},
	Month = dec,
	Title = {A {C}oordination {L}ogic for {A}gent {P}rogramming in {V}irtual {W}orlds},
	Year = {1996}}

@inproceedings{TD99:infra,
	Author = {Paul Tarau and Veronica Dahl},
	Booktitle = {{Artificial Intelligence Today -- Recent Trends and Developments}},
	Editor = {M. J. Wooldridge and M. Veloso},
	Note = {ISBN 3-540-66428-9},
	Pages = {431-456},
	Publisher = {Springer, LNAI 1600},
	Title = {{A Logic Programming Infrastructure for Internet Programming}},
	Year = {1999}}

@article{td:tlp,
	Author = {Paul Tarau and Veronica Dahl},
	Journal = {{Theory and Practice of Logic Programming}},
	Month = may,
	Note = {Cambridge University Press},
	Number = {3},
	Pages = {359--380},
	Title = {{High-Level Networking with Mobile Code and First Order AND-Continuations}},
	Volume = {1},
	Year = {2001}}

@inproceedings{TD98:mobile,
	Address = {Coruna, Spain},
	Author = {Paul Tarau and Veronica Dahl},
	Booktitle = {{Proceedings of APPAI-GULP-PRODE'98}},
	Month = jul,
	Title = {{Mobile Threads through First Order Continuations}},
	Year = {1998}}

@inproceedings{td94:LOPSTR,
	Address = {Pisa},
	Author = {Tarau, Paul and Dahl, Veronica},
	Booktitle = {Proceedings of LOPSTR'94, LNCS, Springer},
	Month = jun,
	Title = {Logic {P}rogramming and {L}ogic {G}rammars with {F}irst-order {C}ontinuations},
	Year = {1994}}

@inproceedings{TDD98:coord,
	Author = {Paul Tarau and Veronica Dahl and Koen De Bosschere},
	Booktitle = {{Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents}},
	Editor = {Wolfram Conen and Gustaf Neumann},
	Month = mar,
	Note = {ISBN 3-540-64170-X},
	Publisher = {Springer, LNCS 1364},
	Title = {{Logic Programming Based Coordination in Virtual Worlds}},
	Year = {1998}}

@inproceedings{TDB:97,
	Address = {Leuven, Belgium},
	Author = {Tarau, Paul and Dahl, Veronica and De Bosschere, Koen},
	Booktitle = {Proceedings of {ICLP'97} {W}orkshop on {L}ogic {P}rogramming and {M}ulti {A}gent {S}ystems},
	Month = jul,
	Title = {{L}ogic {P}rogramming {T}ools for {R}emote {E}xecution, {M}obile {C}ode and {A}gents},
	Year = {1997}}

@inproceedings{TDBwetice:97,
	Address = {IEEE Computer Society Press},
	Author = {Tarau, Paul and Dahl, Veronica and De Bosschere, Koen},
	Booktitle = {{Proceedings of WETICE'97}},
	Month = jun,
	Pages = {106--112},
	Title = {A {L}ogic {P}rogramming {I}nfrastructure for {R}emote {E}xecution, {M}obile {C}ode and {A}gents},
	Year = {1997}}

@inproceedings{TDBwww:97,
	Address = {Santa Clara, California},
	Author = {Tarau, Paul and Dahl, Veronica and De Bosschere, Koen},
	Booktitle = {Electronic Proceedings of {WWW6} {L}ogic {P}rogramming Workshop, http://www.cs.vu.nl/~eliens/WWW6/papers.html},
	Month = mar,
	Title = {{Remote Execution, Mobile Code and Agents in BinProlog}},
	Year = {1997}}

@inproceedings{TDF:asian96,
	Address = {Berlin Heidelberg},
	Author = {Paul Tarau and Veronica Dahl and Andrew Fall},
	Booktitle = {{Concurrency and Parallelism, Programming, Networking, and Security}},
	Editor = {Jaffar, Joxan and Yap, Roland H.C.},
	Month = dec,
	Pages = {53--64},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science 1179},
	Title = {Backtrackable {S}tate with {L}inear {A}ffine {I}mplication and {A}ssumption {G}rammars},
	Year = {1996}}

@inproceedings{TarauDF95a,
	Address = {Portland, Oregon},
	Author = {P. Tarau and V. Dahl and A. Fall},
	Booktitle = {Proceedings of ILPS'95},
	Editor = {Lloyd, John},
	Month = nov,
	Note = {poster abstract},
	Pages = {642},
	Title = {Backtrackable {S}tate with {L}inear {A}ssumptions, {C}ontinuations and {H}idden {A}ccumulator {G}rammars},
	Year = {1995}}

@inproceedings{TarauDF95,
	Address = {Portland, Oregon},
	Author = {P. Tarau and V. Dahl and A. Fall},
	Booktitle = {ILPS'95 Workshop on Visions for the Future of Logic Programming},
	Month = nov,
	Title = {Backtrackable {S}tate with {L}inear {A}ssumptions, {C}ontinuations and {H}idden {A}ccumulator {G}rammars},
	Year = {1995}}

@techreport{TDF95a,
	Author = {Tarau, Paul and Dahl, Veronica and Fall, Andrew},
	Institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
	Month = apr,
	Note = {Available by ftp from {\em clement.info.umoncton.ca}.},
	Number = {95-2},
	Title = {Backtrackable {S}tate with {L}inear {A}ssumptions, {C}ontinuations and {H}idden {A}ccumulator {G}rammars},
	Year = {1995}}

@inproceedings{TDRB97:chi,
	Author = {Tarau, Paul and Dahl, Veronica and Rochefort, Stephen and De Bosschere, Koen},
	Booktitle = {Proceedings of CHI'97},
	Comment = {ACM ISBN 0-8979-926-2},
	Editor = {S. Pemberton},
	Month = mar,
	Pages = {323--324},
	Title = {Logi{MOO}: a {M}ulti-{U}ser {V}irtual {W}orld with {A}gents and {N}atural {L}anguage {P}rogramming},
	Year = {1997}}

@article{lm,
	Author = {Tarau, Paul and De Bosschere, Koen and Dahl, Veronica and Rochefort, Stephen},
	Journal = {Journal of Logic Programming},
	Month = mar,
	Number = {3},
	Pages = {331--353},
	Title = {{LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control}},
	Volume = {38},
	Year = {1999}}

@inproceedings{pt93b,
	Address = {Louvain-la-Neuve},
	Author = {Tarau, P. and De Bosschere, K.},
	Booktitle = {{Logic Program Synthesis and Transformation}},
	Class = {int-conference},
	Comment = {ISBN 3-540-19864-4,ISBN 0-387-19864-4 LOPSTR'93},
	Editor = {Deville, Yves},
	Month = jul,
	Pages = {196-209},
	Series = {Springer-Verlag},
	Title = {{Memoing with Abstract Answers and Delphi Lemmas}},
	Year = {1993}}

@inproceedings{pt93a,
	Address = {Fredericton, N.B.},
	Author = {Tarau, P. and De Bosschere, K.},
	Booktitle = {Proceedings of the fifth University of New Brunswick Artificial Intelligence Symposium},
	Editor = {Goldfarb, L.},
	Month = aug,
	Pages = {137--147},
	Title = {Blackboard {B}ased {L}ogic {P}rogramming in {B}in{P}rolog},
	Year = {1993}}

@inproceedings{lpnet96:virtual1,
	Address = {Bonn},
	Author = {Tarau, Paul and De Bosschere, Koen},
	Booktitle = {Proceedings 1st Workshop on Logic Programming Tools for INTERNET Applications},
	Editor = {Tarau, Paul and Davison, Andrew and De Bosschere, Koen and Hermenegildo, Manuel},
	Month = sep,
	Title = {Virtual {W}orld {B}rokerage with {B}in{P}rolog and {N}etscape},
	Url = {http://clement.info.umoncton.ca/~lpnet},
	Year = {1996},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/~lpnet}}

@article{TBD95:memo,
	Author = {Tarau, P. and De Bosschere, K. and Demoen, Bart},
	Class = {int-journal},
	Journal = {Journal of Logic Programming},
	Month = feb,
	Number = {2},
	Pages = {145--163},
	Title = {On {D}elphi {L}emmas {A}nd Other {M}emoing {T}echniques {F}or {D}eterministic {L}ogic {P}rograms},
	Volume = {30},
	Year = {1997}}

@article{tdb95rev,
	Author = {Tarau, Paul and De Bosschere, Koen and Demoen, Bart},
	Journal = {Journal of Logic Programming},
	Month = nov,
	Number = {1--3},
	Pages = {65--83},
	Title = {Partial {T}ranslation: Towards a {P}ortable and {E}fficient {P}rolog {I}mplementation {T}echnology},
	Volume = {29},
	Year = {1996}}

@inproceedings{TD94:WE,
	Author = {Tarau, Paul and Demoen, Bart},
	Booktitle = {Proceedings of 6-th Workshop on Logic Programming Environments, Santa Margherita Ligure, 1994},
	Comment = {describes the BinProlog Tcl/Tk interface and its design principles},
	Editor = {M. Fromherz and A. Kusalik and O. Nytro},
	Month = jun,
	Note = {also available as TR N-7034 Norges Tek. Hogscole, TRONDHEIM},
	Pages = {15--20},
	Title = {Language {E}mbedding by {D}ual {C}ompilation and {S}tate {M}irroring},
	Year = {1994}}

@inproceedings{TD95:OR,
	Author = {Tarau, Paul and Demoen, Bart},
	Booktitle = {Proceedings of the 1995 COMPULOG-NET Workshop and Area Meeting on Parallelism and Implementation Technology},
	Editor = {Manuel Hermenegildo and Pedro Lopez},
	Title = {Higher-{O}rder {P}rogramming in an {OR}-intensive {S}tyle},
	Year = {1995}}

@techreport{Leuven94:OR,
	Author = {Tarau, Paul and Demoen, Bart},
	Institution = {KU Leuven},
	Number = {CW-192},
	Title = {Higher-{O}rder {P}rogramming in an {OR}-intensive {S}tyle},
	Type = {Technical Report},
	Year = {1994}}

@inproceedings{tdb94,
	Address = {Madrid/Spain},
	Author = {Tarau, P. and Demoen, B. and De Bosschere, K.},
	Booktitle = {Proceedings of the First COMPULOG-NOE Area Meeting on Parallelism and Implementation Technology},
	Editor = {Garc\'\i a de la Banda, J., M. and Hermenegildo M.},
	Month = sep,
	Pages = {3--17},
	Title = {The {P}ower of {P}artial {T}ranslation: an {E}xperiment with the {C}-ification of {B}inary {P}rolog},
	Year = {1994}}

@inproceedings{tdb95,
	Address = {Nashville},
	Author = {Tarau, Paul and Demoen, Bart and De Bosschere, Koen},
	Booktitle = {Proceedings of the 1995 ACM Symposium on Applied Computing},
	Editor = {K.M. George and J.H. Carrol and E. Deaton and D. Oppenheim and J. Hightower},
	Month = feb,
	Pages = {152--176},
	Publisher = {ACM Press},
	Title = {The {P}ower of {P}artial {T}ranslation: an {E}xperiment with the {C}-ification of {B}inary {P}rolog},
	Year = {1995}}

@inproceedings{sac04:conv,
	Address = {Nicosia, Cyprus},
	Author = {Paul Tarau and Elizabeth Figa},
	Booktitle = {{Proceedings of the 2004 ACM Symposium on Applied Computing}},
	Month = mar,
	Publisher = {ACM Press},
	Title = {{Knowledge Based Conversational Agents and Virtual Storytelling}},
	Url = {http://www.acm.org/conferences/sac/sac2004/TuesdayPapers.htm},
	Year = {2004},
	Bdsk-Url-1 = {http://www.acm.org/conferences/sac/sac2004/TuesdayPapers.htm}}

@inproceedings{cf08,
	Address = {New York, NY, USA},
	Author = {Paul Tarau and Brenda Luderman},
	Booktitle = {CF '08: Proceedings of the 2008 conference on Computing frontiers},
	Location = {Ischia, Italy},
	Pages = {179--188},
	Publisher = {ACM},
	Title = {Exact combinational logic synthesis and non-standard circuit design},
	Year = {2008}}

@inproceedings{sac08,
	Address = {Fortalezza, Brazil},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{Proceedings of the 2008 ACM symposium on Applied computing}},
	Howpublished = {ISBN:978-1-59593-753-7},
	Month = mar,
	Pages = {1758-1759},
	Title = {{Revisiting Exact Combinational Circuit Synthesis}},
	Year = {2008}}

@inproceedings{iclp07,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul and Luderman, Brenda},
	Booktitle = {{23rd International Conference on Logic Programming (ICLP), LNCS 4670}},
	Howpublished = {ISBN 978-3-540-74608-9},
	Month = sep,
	Pages = {180-194},
	Publisher = {Springer},
	Title = {{A Logic Programming Framework for Combinational Circuit Synthesis}},
	Year = {2007}}

@inproceedings{ciclops:pr,
	Address = {Saint-Malo, France},
	Author = {Tarau, Paul and Mihalcea, Rada and Figa, Elizabeth},
	Booktitle = {{Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation of Constraint and Logic Programming Systems}},
	Editor = {Carro, Manuel and Morales, Jose F.},
	Month = sep,
	Title = {{A Logic Programming Framework for Semantic Interpretation with WordNet and PageRank}},
	Url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/},
	Year = {2004},
	Bdsk-Url-1 = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/}}

@inproceedings{sac05,
	Address = {Santa Fe, NM},
	Author = {Tarau, Paul and Mihalcea, Rada and Figa, Elizabeth},
	Booktitle = {{Proceedings of the ACM Conference on Applied Computing (ACM-SAC 2005)}},
	Howpublished = {acceptance 36p},
	Month = mar,
	Pages = {782-786},
	Title = {{Semantic document engineering with WordNet and PageRank}},
	Year = {2005}}

@inproceedings{TN94:PLILP,
	Address = {Berlin Heidelberg},
	Author = {Tarau, Paul and Neumerkel, Ulrich},
	Booktitle = {Proceedings of Programming Language Implementation and Logic Programming},
	Editor = {M. Hermenegildo and J. Penjam},
	Keywords = {Logic Programming},
	Month = sep,
	Number = {844},
	Pages = {73--87},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A {N}ovel {T}erm {C}ompression {S}cheme and {D}ata {R}epresentation in the {B}in{WAM}},
	Year = {1994}}

@techreport{Tarau93:comp,
	Author = {Tarau, Paul and Neumerkel, Ulrich},
	Institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
	Month = nov,
	Note = {available by ftp from clement.info.umoncton.ca},
	Number = {93-3},
	Title = {Compact {R}epresentation of {T}erms and {I}nstructions in the {B}in{WAM}},
	Year = {1993}}

@inproceedings{london_mcast,
	Address = {London, UK},
	Author = {Tyagi, Satyam and Tarau, Paul},
	Booktitle = {{Proceedings of CL2000 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming}},
	Editor = {Ines de Castro Dutra},
	Month = jun,
	Title = {{Multicast Protocols for Jinni Agents}},
	Url = {http://www.cos.ufrj.br/~parimp00},
	Year = {2000},
	Bdsk-Url-1 = {http://www.cos.ufrj.br/~parimp00}}

@inproceedings{padl_java,
	Address = {Las Vegas},
	Author = {Tyagi, Satyam and Tarau, Paul},
	Booktitle = {{Proceedings of PADL'2001}},
	Editor = {I.V. Ramakrishan and Gopal Gupta},
	Month = mar,
	Note = {Springer-Verlag},
	Title = {{A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces}},
	Year = {2001}}

@inproceedings{ilmenau2001,
	Address = {Ilmenau, Germany},
	Author = {Tyagi, Satyam and Tarau, Paul and Mikler, Armin},
	Booktitle = {{Innovative Internet Computing Systems, IICS 2001}},
	Editor = {T. Boehme and H. Unger},
	Month = jun,
	Pages = {1-18},
	Publisher = {Springer, LNAI 2060},
	Title = {{Multicast Protocols for Jinni Agents}},
	Year = {2001}}

@inproceedings{ZFRDT:NLDB97,
	Address = {Vancouver},
	Author = {Zaiane, Osmar and Fall, Andrew and Rochefort, Stephen and Dahl, Veronica and Tarau, Paul},
	Booktitle = {Proceedings of NLDB'97},
	Pages = {11--26},
	Title = {{Concept-Based Retrieval using Controlled Natural Language}},
	Year = {1997}}

@inproceedings{riao97,
	Address = {McGill University, Montreal},
	Author = {Zaiane, Osmar and Fall, Andrew and Rochefort Stephen and Dahl Veronica and Tarau, Paul},
	Booktitle = {Proceedings of RIAO'97},
	Month = jun,
	Pages = {336--355},
	Title = {On-line {R}esource {D}iscovery {U}sing {N}atural {L}anguage},
	Year = {1997}}

@inproceedings{padl03gc,
	Address = {New Orleans, USA},
	Author = {Qinan Zhou and Paul Tarau},

repository: ptarau/AnswerStreamGenerators

repo_name: ptarau/AnswerStreamGenerators


text:
Booktitle = {{Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003}},
	Editor = {V. Dahl and P. Wadler},
	Month = jan,
	Pages = {304-320},
	Publisher = {Springer, LNCS 2562},
	Title = {{Garbage Collection Algorithms for Java-Based Prolog Engines}},
	Year = {2003}}

@proceedings{kdb94g,
	Address = {Ithaca, NY},
	Booktitle = {Implementation Techniques for Logic Programming Languages},
	Editor = {De Bosschere, K. and Demoen, B. and Tarau, P.},
	Month = nov,
	Title = {Proceedings of the ILPS'94 Post-Conference workshop on Implementation Techniques for Logic Programming Languages},
	Year = {1994}}

@proceedings{kdb93k,
	Address = {Budapest, Hungary},
	Booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming},
	Editor = {De Bosschere, K. and Jacquet, J.M. and Tarau, P.},
	Month = jun,
	Title = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming},
	Year = {1993}}

@proceedings{sclara97,
	Address = {Santa Clara, California},
	Booktitle = {{Proceedings of the Workshop on logic programming and the Web at the 6th International WWW Conference}},
	Editor = {Eliens, A.},
	Month = apr,
	Title = {{LogiMOO: a Prolog based Virtual World}},
	Year = {1997}}

@proceedings{idl99,
	Address = {Paris, France},
	Booktitle = {Proceedings of IDL'99},
	Editor = {Sagonas, K. and Tarau, P.},
	Month = sep,
	Title = {Proceedings of IDL'99},
	Url = {http://www.binnetcorp.com/wshops/IDL99.html},
	Year = {1999},
	Bdsk-Url-1 = {http://www.binnetcorp.com/wshops/IDL99.html}}

@proceedings{lpnet96,
	Address = {JICSLP'96, Bonn},
	Booktitle = {Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications},
	Editor = {Tarau, Paul and Davison, Andrew and De Bosschere, Koen and Hermenegildo, Manuel},
	Month = sep,
	Title = {Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications},
	Url = {http://clement.info.umoncton.ca/~lpnet},
	Year = {1996},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/~lpnet}}

@proceedings{lpnet97,
	Address = {ICLP'97, Leuven},
	Booktitle = {Proceedings of the 2nd InternationalWorkshop on Logic Programming Tools for INTERNET Applications},
	Editor = {Tarau, Paul and De Bosschere, Koen and Hermenegildo, Manuel},
	Month = jul,
	Title = {Proceedings of the 2nd International Workshop on Logic Programming Tools for INTERNET Applications},
	Url = {http://clement.info.umoncton.ca/~lpnet},
	Year = {1997},
	Bdsk-Url-1 = {http://clement.info.umoncton.ca/~lpnet}}

@proceedings{dipcl99,
	Address = {Las Cruces, NM},
	Booktitle = {Proceedings of DIPLCL'99},
	Editor = {Van Roy, P. and Tarau, P.},
	Month = nov,
	Title = {Proceedings of DIPLCL'99},
	Url = {http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html},
	Year = {1999},
	Bdsk-Url-1 = {http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html}}

@article{metadata04,
	Author = {Figa, E. and Tarau, P. and Ephraim, J.},
	Journal = {Proceedings of the American Society for Information Science and Technology},
	Number = {1},
	Publisher = {Wiley},
	Title = {{Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents}},
	Volume = {41},
	Year = {2004}}

@inproceedings{MT87:Seul,
	Author = {Moulin, B. and Tarau, Paul},
	Booktitle = {Proceedings of CIPS Congress'87},
	Editor = {J.A. Bates, D. Kemp},
	Pages = {305-316},
	Title = {Un environnement de conception de systemes experts pour des applications grand-public},
	Year = {1987}}

@inproceedings{Tarau87:Theo,
	Author = {Tarau, Paul},
	Booktitle = {Proceedings of CIPS Congress'87},
	Editor = {J.A. Bates and D. Kemp},
	Keywords = {Logic Programming},
	Pages = {293-298},
	Title = {Adding {T}heories to {P}rolog},
	Year = {1987}}

@article{tarau81,
	Author = {Paul Tarau},
	Journal = {Revue Roumaine de Linguistique},
	Number = {2},
	Pages = {151-160},
	Title = {{A Wittgenstein Type Approach to the Semantics of Natural Languages}},
	Volume = {26},
	Year = {1981}}

license_type: permissive

branch_name: refs/heads/master

extension: bib


text:
package main

import (
	"fmt"
	"os/exec"
	"strings"
	"time"

	"github.com/briandowns/spinner"
	"github.com/gosuri/uilive"
	"github.com/spf13/cobra"

	"github.com/ovh/cds/sdk"
)

var (
	stream           bool
	execMsg, execErr []string
)

func init() {
	statusCmd.Flags().BoolVarP(&stream, "stream", "s", false, "stream status --stream.")
	statusCmd.Flags().StringSliceVarP(&execMsg, "exec", "", nil, `Exec a cmd on each status KO: --stream --exec 'myLights --pulse red --duration=1000'`)
	statusCmd.Flags().StringSliceVarP(&execErr, "execErr", "", nil, `Exec a cmd on each error while requesting cds: --stream --exec 'myLights --pulse blue --duration=1000' --execErr 'myLights --pulse red --duration=2000'`)
}

var statusCmd = &cobra.Command{
	Use:   "status",
	Short: "Retrieve CDS api status",
	Long:  ``,
	Run: func(cmd *cobra.Command, args []string) {
		if !stream {
			out := status(nil, cmd, args)
			for _, s := range out.Lines {
				fmt.Println(s.String())
			}
			return
		}

		writer := uilive.New()
		writer.Start()
		for {
			out := status(writer, cmd, args)
			for _, s := range out.Lines {
				fmt.Fprintf(writer, s.String()+"\n")
			}

			if err := writer.Flush(); err != nil {
				fmt.Printf("Error while flushing: %s", err)
			}
			processStatusLine(out.Lines)
			processWait()
		}
	},
}

func status(w *uilive.Writer, cmd *cobra.Command, args []string) *sdk.MonitoringStatus {
	output, err := sdk.GetStatus()
	if err != nil {
		if !stream {
			sdk.Exit("Cannot get status (%s)\n", err)
		}
		processExecError(err)
	}
	return output
}

func processWait() {
	// see https://github.com/briandowns/spinner
	s := spinner.New(spinner.CharSets[14], 100*time.Millisecond)
	s.Start()
	time.Sleep(5 * time.Second)
	s.Stop()
}

func processExecError(err error) {
	fmt.Printf("Error:%s", err)
	for _, ex := range execErr {
		execCmd(ex)
	}
	s := spinner.New(spinner.CharSets[14], 100*time.Millisecond)
	s.Start()
	time.Sleep(5 * time.Second)
	s.Stop()
}

func processStatusLine(lines []sdk.MonitoringStatusLine) {
	for _, l := range lines {
		if stream && l.Status == sdk.MonitoringStatusOK {
			continue
		}
		for _, ex := range execMsg {
			execCmd(ex)
		}
	}
}

func execCmd(toExec string) {
	opts := strings.Split(toExec, " ")
	if toExec != "" {
		if _, err := exec.LookPath(opts[0]); err != nil {
			sdk.Exit("Invalid --exec path for %s, err: %s", opts[0], err.Error())
			return
		}

		s := spinner.New(spinner.CharSets[35], 100*time.Millisecond)
		cmd := exec.Command(opts[0], opts[1:]...)
		s.Start()
		if err := cmd.Start(); err != nil {
			fmt.Printf("Error: %s", err)
			return
		}
		if err := cmd.Wait(); err != nil {
			fmt.Printf("Error: %s\n", err)
		}
		s.Stop()
	}
}

repository: sguiheux/cds

repo_name: sguiheux/cds

extension: go


text:
package cluster

import (
	"context"
	"github.com/mrwinstead/knv/configuration"
	"github.com/spf13/viper"
	"io"
	"math/rand"
	"path"
	"testing"
	"time"

	"github.com/etcd-io/etcd/clientv3"
	"github.com/oklog/ulid"
	"github.com/pkg/errors"
	"github.com/stretchr/testify/suite"

	"github.com/mrwinstead/knv/observation"
)

const (
	defaultTestMaxRuntime = 20 * time.Second
)

var (
	_ suite.TestingSuite = &etcdLivenessReporterTestSuite{}
)

type etcdLivenessReporterTestSuite struct {
	suite.Suite

	reporter *EtcdMembershipReporter

	obsMgr observation.Manager

	client   *clientv3.Client
	ctx      context.Context
	idSource io.Reader
}

func (e *etcdLivenessReporterTestSuite) SetupSuite() {
	e.obsMgr = observation.NewChannelManager(uint(100))

	endpoints := viper.GetStringSlice(configuration.KeyBackingServiceEtcd)
	client, buildErr := clientv3.New(clientv3.Config{
		Endpoints:   endpoints,
		DialTimeout: 10 * time.Second,
	})
	if nil != buildErr {
		err := errors.Wrap(buildErr, "could not create etcdv3 client")
		e.Fail(err.Error())
	}
	e.client = client
	e.idSource = ulid.Monotonic(rand.New(rand.NewSource(rand.Int63())), 0)
	pathPrefix := path.Join("test",
		ulid.MustNew(ulid.Now(), e.idSource).String())
	identity := ulid.MustNew(ulid.Now(), e.idSource)

	pa := NewEtcdPathAdvisor(pathPrefix)

	reporter, reporterBuildErr := NewEtcdMembershipReporter(e.client, e.obsMgr,
		ReportedIdentity(identity.String()), pa, 1*time.Second)
	e.NoError(reporterBuildErr)
	e.reporter = reporter.(*EtcdMembershipReporter)
}

func (e *etcdLivenessReporterTestSuite) SetupTest() {
	e.ctx, _ = context.WithTimeout(context.Background(), defaultTestMaxRuntime)
}

func (e *etcdLivenessReporterTestSuite) TestSetLeaseAlgorithm() {
	clientID := ulid.MustNew(ulid.Now(), e.idSource)
	value := ulid.MustNew(ulid.Now(), e.idSource)

	lease, leaseErr := e.client.Grant(context.Background(), 30)
	e.NoError(leaseErr)

	leasePath := "/test/" + clientID.String()

	putResponse, putErr := e.client.Put(e.ctx, leasePath, value.String(),
		clientv3.WithLease(lease.ID))
	e.NoError(putErr)
	e.NotEmpty(putResponse.Header.String())

	getResponse, getErr := e.client.Get(e.ctx, leasePath)
	e.NoError(getErr, "cold not get path", leasePath)
	e.Equal(int64(1), getResponse.Count)

	listResponse, listErr := e.client.Get(e.ctx, "/", clientv3.WithPrefix())
	e.NoError(listErr)
	e.NotEqual(0, listResponse.Count, "no leases found")
}

func (e *etcdLivenessReporterTestSuite) TestLeaseRenew() {
	reporterCtx, cancel := context.WithCancel(e.ctx)
	defer cancel()

	go func() {
		runErr := e.reporter.Run(reporterCtx)
		if context.Canceled == runErr {
			return
		}
		e.NoError(runErr)
	}()

	isMember := <-e.reporter.MembershipReported()
	e.True(isMember, "membership was not reported")
}

func TestEtcdLivenessReporter(t *testing.T) {
	viper.AutomaticEnv()
	endpoints := viper.GetStringSlice(configuration.KeyBackingServiceEtcd)
	if nil != endpoints && 0 == len(endpoints) {
		t.Skip(configuration.KeyBackingServiceEtcd + " environment variable not set")
	}
	suite.Run(t, new(etcdLivenessReporterTestSuite))
}

repository: MrWinstead/knv

repo_name: MrWinstead/knv


text:
@Comment This is an example bibtex file which shows how to format a few
@Comment different styles of references.

@Book{ucbenik,
  author =	 {A. Z. Valant},
  title =	 {Uvod v reologijo},
  publisher =	 {Fakulteta za kemijo in kemijsko tehnologijo, Univerza v Ljubljani},
  year =	 {2007}
}

@unpublished{predavanja,
  author =    {A. Z. Valant},
  title =     {Predavanja iz predmeta {R}eologija kompleksnih tekočin},
  year =      {2015},
  note = {Študijski program Kemijsko inženirstvo}
}

@unpublished{predavanja2,
  author =    {M. Marinšek in U. Šebenik},
  title =     {Predavanja iz predmeta {N}anomateriali in kompoziti},
  year =      {2015},
  note = {Študijski program Kemijsko inženirstvo}
}

@book{handbook,
author = {T. G. Mezger},
title = {The Rheology Handbook},
publisher = {Vincentz Network},
year = {2011}
}

@article{clanek,
author = {R. McGregor},
title = {Measure Viscosity Effectively},
journal = {Chemical Engineering Progress},
year = 2015,
volume = 111,
number = {2}
}

@misc{asfalt,
author = {Mike Anderson},
title = {Introduction to the {M}ultiple-{S}tress
{C}reep-{R}ecovery ({MSCR}) {T}est and its
{U}se in the {PG} {B}inder {S}pecification},
howpublished = {MAAPT 60th Annual Asphalt Conference},
year         = 2013,
note         = {Asphalt Institute: \url{www.asphaltinstitute.org}}
}

@book{norway,
author = {F. Irgens},
title = {Rheology and Non-Newtonian Fluids},
year = 2014,
publisher = {Springer}
}

license: MIT