@article{J68,
  author       = {Xavier Parent and Christoph Benzm{\"u}ller},
  title        = {Conditional normative reasoning as a fragment of {HOL}},
  OPTjournal      = {Journal of Applied Non-Classical Logics},
  journal      = {Submitted for journal publication},
  OPTvolume       = {},
  OPTnumber       = {},
  OPTpages        = {},
  year         = {2024},
  OPTurl          = {},
  OPTdoi          = {10.1007/s13218-023-00824-7},
  note        = {minor revisions, revision submitted, preprint: \url{https://arxiv.org/abs/2308.10686}}
}


@article{ddl:lou19,
	Author = {Goble, L.},
	Journal = { Filosofiska Notiser },
	Number = {1},
	Pages = {13-61},
	Title = {Axioms for {H}ansson's dyadic deontic logics},
	Volume = {6},
	Year = {2019}
}

@Article{ddl:S97,
  author = 	 "A. Sen",
  title = 	 "Maximization and the act of choice",
  journal = 	 "Econometrica",
  year = 	 "1997",
  volume =	 "65",
 number =	"4",
  pages =	"745-779"
}	





@article{nor86,
	Author = {Nortmann, U.},
	Journal = {Erkenntnis},
	Number = {25},
	Pages = { 275–318},
	Title = { Deontische logik: {D}ie variante der lokalen {ä}quivalenz},
	Volume = {6},
	Year = {1986}
}

@Inproceedings{Segerberg1971,
author="Segerberg, Krister",
editor="Hilpinen, Risto",
title="Some Logics of Commitment and Obligation",
bookTitle="Deontic Logic: Introductory and Systematic Readings",
year="1971",
publisher="Springer Netherlands",
address="Dordrecht",
pages="148-158"
}

@InProceedings{gob04,
author="Goble, L.",
editor="Lomuscio, Alessio
and Nute, Donald",
title="A Proposal for Dealing with Deontic Dilemmas",
booktitle="Deontic Logic in Computer Science",
year="2004",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="74--113"
}


@InProceedings{10.1007/978-3-540-73099-6_19,
author="Giordano, L.
and Gliozzi, V.
and Pozzato, G. L.",
editor="Olivetti, N.",
title="{KLML}ean 2.0: A Theorem Prover for {KLM} Logics of Nonmonotonic Reasoning",
booktitle="Automated Reasoning with Analytic Tableaux and Related Methods",
year="2007",
publisher="Springer",
address="Berlin, Heidelberg",
pages="238--244"
}

@inproceedings{DBLP:conf/prima/CiabattoniOP22,
  author       = {Agata Ciabattoni and
                  Nicola Olivetti and
                  Xavier Parent},
  editor       = {Reyhan Aydogan and
                  Natalia Criado and
                  J{\'{e}}r{\^{o}}me Lang and
                  V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
                  Marc Serramia},
  title        = {Dyadic Obligations: Proofs and Countermodels via Hypersequents},
  booktitle    = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
                  International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13753},
  pages        = {54--71},
  publisher    = {Springer},
  year         = {2022}
}


@InCollection{ddl:P08,
	crossref = "ddl:MV08",
  author =   "X. Parent",
  title =    "On the strong completeness of {{\AA}}qvist's dyadic deontic logic {G}",
  pages =    "189-202"
}

@book{ddl:MV08,
   editor = "R. van der Meyden and L. van der Torre",
   title = "Deontic Logic in Computer Science (DEON 2008)",
   booktitle = "Deontic Logic in Computer Science  (DEON 2008)",
   series    = "Lecture Notes in Artificial Intelligence",
   volume = 5076,
   publisher = "Springer",
   address = "Berlin/Heidelberg",
   year = "2008"
}


@Article{ddl:M93,
	author = 	 "D. Makinson",
	title = 	 "Five faces of minimality",
	journal = 	 "Studia Logica",
	year = 	 "1993",
	volume =	 "52",
	pages =	"339-379",
	number = 	 "3"
}	

@InCollection{ddl:A02,
	crossref= 	"ddl:GG02",
	author =	 "L. {\AA}qvist",
	title =	 "Deontic logic",
	pages =	 "147-264",
	note= "Originally published in \cite[pp.~605--714]{ddl:GG84}"
}

@Book{ddl:GG02,
	editor =	 "D. Gabbay and F. Guenthner",
	title =	 "Handbook of Philosophical Logic",
	booktitle =	 "Handbook of Philosophical Logic",
	year =	 "2002",
	edition=        "2nd",
	volume=	 "8",
	publisher  =	"Kluwer Academic Publishers",
	address =	"Dordrecht, Holland"
}

@Book{ddl:GG84,
	editor =	 "D. Gabbay and F. Guenthner",
	title =	 "Handbook of Philosophical Logic",
	booktitle =	 "Handbook of Philosophical Logic",
	year =	 "1984",
	edition=        "1st",
	volume=	 "II",
	publisher  =	"Reidel",
	address =	"Dordrecht, Holland"
}



@InProceedings{sb23,
author="Steen, Alexander
and Sutcliffe, Geoff
and Scholl, Tobias
and Benzm{\"u}ller, Christoph",
editor="Herzig, Andreas
and Luo, Jieting
and Pardo, Pere",
title="Solving Modal Logic Problems by Translation to Higher-Order Logic",
booktitle="Logic and Argumentation",
year="2023",
publisher="Springer Nature Switzerland",
address="Cham",
pages="25--43"
}






@inproceedings{C55,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {IJCAI 2016},
  publisher =	 {AAAI Press},
  Volume =	 {1-3},
  Editor =	 {Subbarao Kambhampati},
  Title =	 {The Inconsistency in {G{\"o}del's} Ontological
                  Argument: A Success Story for {AI} in Metaphysics},
  Year =	 2016,
  Pages =	 {936-942},
}






@Book{ddl:A87,
	author =	 "L. {\AA}qvist",
	title =	 "An Introduction to Deontic logic and the Theory of Normative Systems",
	year =	 "1987",
	publisher  =	"Bibliopolis",
	address =	"Naples",
	serie =	 "Indices"
}





@incollection{Sah75,
title = {Completeness and Correspondence in the First and Second Order Semantics for Modal Logic},
editor = {Stig Kanger},
series = {Studies in Logic and the Foundations of Mathematics},
publisher = {Elsevier},
volume = {82},
pages = {110-143},
year = {1975},
booktitle = {Proceedings of the Third Scandinavian Logic Symposium},
author = {Henrik Sahlqvist}}

@inproceedings{par22,
author = "X. Parent",
title="On some weakened forms of transitivity in the logic of norms (extended abstract)",
editor="L. Giordanni and G. Casini",
booktitle="NMR 2022: 20th International Workshop on Non-Monotonic Reasoning",
publisher=" CEUR-WS",
year="2022",
}


@misc{ddl:parent24,
 author = {Parent, X.},
   title = {On some weakened forms of transitivity in the logic of conditional obligation},
journal ={Journal of Philosophical Logic},
year ={2024},
	note = {Forthcoming in \emph{Journal of Philosophical Logic}. Supersedes \cite{par22}.}
}

@ARTICLE{ddl:KLM90,
	author="Kraus, S. and Lehmann, D. and Magidor, M.",
	title="Nonmonotonic Reasoning, Preferential Models and Cumulative Logics",
	journal ="Artificial Intelligence",
	volume="44",
	number    = {1-2},
	year="1990",
	pages="167--207"
}


@Article{ddl:S75,
	author = 	 "W. Spohn",
	title = 	 "An analysis of {H}ansson's dyadic deontic logic",
	journal = 	 "Journal of Philosophical Logic",
	year = 	 "1975",
	volume =	 "4",
	number =	 "2",
	pages =	"237-252"
}


@Book{ddl:S88,
	author =       "Y. Shoham",
	title =        "Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence",
	publisher =      "MIT Press",
	address =      "Cambridge, MA, USA",
	year =         "1988"
}

%Entries

@book{Parfit1984-PARRAP,
	title = {Reasons and Persons},
	year = {1984},
	author = {Derek Parfit},
	publisher = {Oxford University Press}
}

@article{ddl:T87,
	number = {2},
	year = {1987},
	publisher = {Wiley-Blackwell},
	journal = {Philosophy and Public Affairs},
	volume = {16},
	pages = {138-187},
	title = {Intransitivity and the Mere Addition Paradox},
	author = {L. S. Temkin}
}



@article{ddl:parent15,
 author = {Parent, X.},
   title = {Completeness of {{\AA}}qvist's systems {E} and {F}},
journal ={Review of Symbolic Logic},
year = {2015},
volume = {8},
Number = {1},
	Pages = {164-177}
}

@Article{ddl:H69,
  author = 	 "B. Hansson",
  title = 	 "An analysis of some deontic logics",
  journal = 	 "No$\hat{\mbox{u}}$s",
  year = 	 "1969",
  volume =	 "3",
 number ="4",
  pages =	"373-398"
}	

@incollection{ddl:H01,
    crossref = "ddl:G01",
    author = "R. Hilpinen",
    title = "Deontic Logic",
    pages = "159-182"
}





@article{L56,
	author = {R. Luce},
	journal = {Econometrica },
	pages = {178-191},
	title = {Semiorders and a theory of utility discrimination},
	volume = {24},
	year = {1956}
}



@book{pop95,
!author="S. Popkorn",
title="First steps in modal logic",
publisher=" Cambridge University Press",
year="1995"
}

@article{ddl:parent14,
 author = {Parent, X.},
   title = {Maximality vs. optimality in dyadic deontic logic},
journal ={Journal of Philosophical Logic},
year ={2014},
volume = {43},
Number = {6},
	Pages = {1101-1128}
}

@Incollection{Ben2001,
author="van Benthem, Johan",
editor="Gabbay, D. M.
and Guenthner, F.",
title="Correspondence Theory",
bookTitle="Handbook of Philosophical Logic",
year="2001",
volume="3",
publisher="Springer Netherlands",
address="Dordrecht",
pages="325--408"
}

@article{ddl:ch75,
     title = {Basic conditional logic},
     author = {Chellas, B.},
     journal = {Journal of Philosophical Logic},
      volume = {4},
     number = {2},
         pages = {pp. 133-153},
         year = {1975}
    }



@article{Sledgehammer,
  author =	 {Jasmin Christian Blanchette and Sascha B{\"{o}}hme
                  and Paulson, Lawrence C.},
  journal =	 {Journal of Automated Reasoning},
  number =	 1,
  pages =	 {109--128},
  title =	 {Extending {Sledgehammer} with {SMT} Solvers},
  volume =	 51,
  year =	 2013,
}

@article{blanchette2016hammering,
  title={Hammering towards {QED}},
  author={Blanchette, Jasmin C. and Kaliszyk, Cezary and Paulson, Lawrence C. and Urban, Josef},
  journal={Journal of Formalized Reasoning},
  volume={9},
  number={1},
  pages={101--148},
  year={2016}
}


@inproceedings{Nitpick,
  author =	 {Jasmin Christian Blanchette and Tobias Nipkow},
  title =	 {Nitpick: {A} Counterexample Generator for
                  Higher-Order Logic Based on a Relational Model
                  Finder},
  booktitle =	 {ITP 2010},
  pages =	 {131--146},
  year =	 2010,
  editor =	 {Matt Kaufmann and Lawrence C. Paulson},
  series =	 {LNCS},
  volume =	 6172,
  publisher =	 {Springer},
}





@Book{HC84,
  author =	 "G. E. Hughes and M. J. Cresswell",
  title =	 "A Companion to Modal Logic",
   year =	 "1984",
  publisher  =	"Methuen",
  address =	"London"
}

@article{J26,
  Author =	 {Christoph Benzm{\"u}ller and Dov Gabbay and Valerio
                  Genovese and Daniele Rispoli},
  Journal =	 {Annals of Mathematics and Artificial Intelligence},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding,
                  Conditional Logics, Automated Reasoning},
  Number =	 {1-4},
  Pages =	 {257-271},
  Title =	 {Embedding and Automating Conditional Logics in
                  Classical Higher-Order Logic},
  Volume =	 66,
  Year =	 2012,
}

@Book{ddl:L73,
  author =	 "D. Lewis",
  title =	 "Counterfactuals",
   year =	 "1973",
  publisher  =	"Blackwell",
  address =	"Oxford"
}

@Book{PvTT21,
  author =	 "X. Parent and L. van der Torre",
  title =	 "Introduction to Deontic Logic and Normative Systems",
   year =	 "2021",
  publisher  =	"College Publications",
  address =	"London"
}


@book{And02,
author={Peter Andrews},
title ={An Introduction to Mathematical Logic and Type Theory},
publisher={Springer},
year={2002}
}

@article{J58,
  Author =	 {Christoph Benzm\"uller and Sebastian Reiche},
  Journal =	 {Journal of Logic and Computation},
  Keywords =	 {own, Artificial Intelligence, Non-Classical Logics,
                  Semantical Embedding, Common Knowledge},
  Title =	 {Automating Public Announcement Logic with
                  Relativized Common Knowledge as a Fragment of {HOL} in
                  {LogiKEy}},
  Year =	 2022,
  Volume = {33},
  Number = {6},
  Pages =	 {1243–1269},
  OPTPages =	 {1-27}
}


@article{J41,
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal (Meta-)Logical Reasoning: Recent
                  Successes},
  journal =	 {Science of Computer Programming},
  year =	 2019,
  volume =	 172,
  pages =	 {48-62},
}

@article{J48,
  Author =	 {Benzm{\"u}ller, Christoph and Parent, Xavier and van
                  der Torre, Leendert},
  Keywords =	 {own, Normative Reasoning, Deontic Logic, Machine
                  Ethics, Formal Methods, Automated Reasoning, ProoF
                  Assistants, Explainable AI},
  Journal =	 {Artificial Intelligence},
  Publisher =	 {Elsevier},
  Title =	 {Designing Normative Theories for Ethical and Legal
                  Reasoning: LogiKEy Framework, Methodology, and Tool
                  Support},
  Year =	 "2020",
  Volume =	 "287",
  Pages =	 "103348"
}





@inproceedings{C47,
  Address =	 {Berlin, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Maximilian Claus and
                  Nik Sultana},
  Booktitle =	 {PxTP 2015},
  Editor =	 {Cezary Kaliszyk and Andrei Paskevich},
  Pages =	 {27-41},
  Publisher =	 {EPTCS},
  Title =	 {Systematic Verification of the Modal Logic Cube in
                  {Isabelle/HOL}},
  Volume =	 186,
  Year =	 2015,
}

@article{J45,
  Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Xavier
                  Parent},
  Journal =	 {Journal of Applied Logics -- IfCoLoG Journal of
                  Logics and their Applications (Special Issue:
                  Reasoning for Legal AI)},
  Editor =	 {Robaldo, Livio and van der Torre, Leon},
  Title =	 {{{\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},
  Volume =	 6,
  Number =	 5,
  Pages =	 {733--755},
  Year =	 2019
}



@incollection{ddl:P21,
	crossref = "ddl:dlhand21",
	author = "X. Parent",
	title = "Preference semantics for dyadic deontic logic: a survey of results",
 pages ="1-70"
}

@Book{ddl:C80,
author = 	 "B. Chellas",
title =           "Modal Logic",
  year = 	 "1980",
 publisher =	"Cambridge University Press",
address = "Cambridge"
}



@book{ddl:dlhand21,
	editor ="D. Gabbay and J. Horty and X. Parent and R. van der Meyden and L. van der Torre",
	title = "Handbook of Deontic Logic and Normative Systems",
	booktitle = "Handbook of Deontic Logic and Normative Systems",
	publisher="College Publications",
	note ="Volume 2",
	address="London. UK",
	year = "2021"
}





@Article{Abril07,
  author        = "Patricia S. Abril and Robert Plant",
  title         = "The patent holder's dilemma: Buy, sell, or troll?",
  journal       = "Communications of the ACM",
  volume        = "50",
  number        = "1",
  month         = jan,
  year          = "2007",
  pages         = "36--44"
}

@Article{Cohen07,
  author        = "Sarah Cohen and Werner Nutt and Yehoshua Sagic",
  title         = "Deciding equivalences among conjunctive aggregate queries",
  journal       = JACM,
  articleno     = "5",
  numpages      = "50",
  volume        = "54",
  number        = "2",
  year          = "2007"
}


@Proceedings{JCohen96,
  key =          "Cohen",
  editor =       "Jacques Cohen",
  title =        "Special issue: Digital Libraries",
  journal =      CACM,
  volume =       "39",
  number =       "11",
  month =        nov,
  year =         "1996",
}


@Book{Kosiur01,
  author =       "David Kosiur",
  title =        "Understanding Policy-Based Networking",
  publisher =    "Wiley",
  year =         "2001",
  address =      "New York, NY",
  edition =      "2nd.",
  editor =       "",
  volume =       "",
  number =       "",
  series =       "",
  month =        "",
  note =         "",
}


@Book{Harel79,
  author =       "David Harel",
  year =         "1979",
  title =        "First-Order Dynamic Logic",
  series =       "Lecture Notes in Computer Science",
  volume =       "68",
  address =      "New York, NY",
  publisher =    "Springer-Verlag",
  doi =          "10.1007/3-540-09237-4",
  OPTurl =          "http://dx.doi.org/10.1007/3-540-09237-4",
  editor =       "",
  number =       "",
  month =        "",
  note =         "",
}


@Inbook{Editor00,
  author =       "",
  editor =       "Ian Editor",
  title =        "The title of book one",
  subtitle =     "The book subtitle",
  series =       "The name of the series one",
  year =         "2007",
  volume =       "9",
  address =      "Chicago",
  edition =      "1st.",
  publisher =    "University of Chicago Press",
  doi =          "10.1007/3-540-09237-4",
  OPTurl =          "http://dx.doi.org/10.1007/3-540-09456-9",
  chapter =      "",
  pages =        "",
  number =       "",
  type =         "",
  month =        "",
  note =         "",
}

%
@InBook{Editor00a,
  author =       "",
  editor =       "Ian Editor",
  title =        "The title of book two",
  subtitle =     "The book subtitle",
  series =       "The name of the series two",
  year =         "2008",
  address =      "Chicago",
  edition =      "2nd.",
  publisher =    "University of Chicago Press",
  doi =          "10.1007/3-540-09237-4",
  OPTurl =          "http://dx.doi.org/10.1007/3-540-09456-9",
  volume =       "",
  chapter =      "100",
  pages =        "",
  number =       "",
  type =         "",
  month =        "",
  note =         "",
}


% incollection (has an editor, title, and possibly a booktitle)
@Incollection{Spector90,
  author =       "Asad Z. Spector",
  title =        "Achieving application requirements",
  booktitle =    "Distributed Systems",
  publisher =    "ACM Press",
  address =      "New York, NY",
  year =         "1990",
  edition =      "2nd.",
  chapter =      "",
  editor =       "Sape Mullender",
  pages =        "19--33",
  doi =          "10.1145/90417.90738",
  OPTurl =          "http://doi.acm.org/10.1145/90417.90738",
  volume =       "",
  number =       "",
  series =       "",
  type =         "",
  month =        "",
  note =         "",
}


% incollection (has an editor, title, and possibly a booktitle)
@Incollection{Douglass98,
  author =       "Bruce P. Douglass and David Harel and Mark B. Trakhtenbrot",
  title =        "Statecarts in use: structured analysis and object-orientation",
  series =       "Lecture Notes in Computer Science",
  booktitle =    "Lectures on Embedded Systems",
  publisher =    "Springer-Verlag",
  address =      "London",
  volume =       "1494",
  year =         "1998",
  chapter =      "",
  editor =       "Grzegorz Rozenberg and Frits W. Vaandrager",
  pages =        "368--394",
  doi =          "10.1007/3-540-65193-4_29",
  OPTurl =          "http://dx.doi.org/10.1007/3-540-65193-4_29",
  edition =      "",
  number =       "",
  type =         "",
  month =        "",
  note =         "",
}


@Book{Knuth97,
  author =       "Donald E. Knuth",
  title =        "The Art of Computer Programming, Vol. 1: Fundamental Algorithms (3rd. ed.)",
  publisher =    "Addison Wesley Longman Publishing Co., Inc.",
  year =         "1997",
  address =      "",
  edition =      "",
  editor =       "",
  volume =       "",
  number =       "",
  series =       "",
  month =        "",
  note =         "",
}


@Book{Knuth98,
  author =       "Donald E. Knuth",
  year =         "1998",
  title =        "The Art of Computer Programming",
  series =       "Fundamental Algorithms",
  volume =       "1",
  edition =      "3rd",
  address =      "",
  publisher =    "Addison Wesley Longman Publishing Co., Inc.",
  doi =          "",
  url =          "",
  editor =       "",
  number =       "",
  month =        "",
  note =         "(book)",
}

%Inbook{Knuth97,
%  author =       "Donald E. Knuth",
%  title =        "The Art of Computer Programming",
%  booktitle =    "the booktitle",
%  edition =      "3",
%  volume =       "1",
%  year =         "1997",
%  publisher =    "Addison Wesley Longman Publishing Co., Inc.",
%  editor =       "",
%  number =       "",
%  series =       "Fundamental Algorithms",
%  type =         "",
%  chapter =      "",
%  pages =        "",
%  address =      "",
%  month =        "",
%  note =         "(inbook)",
%}

%INBOOK{DK:73-inbook-full,
%   author = "Donald E. Knuth",
%   title = "Fundamental Algorithms (inbook w series)",
%   volume = 1,
%   series = "The Art of Computer Programming",
%   publisher = "Addison-Wesley",
%   address = "Reading, Massachusetts",
%   edition = "Second",
%   month = "10~" # jan,
%   year = "1973",
%   type = "Section",
%   chapter = "1.2",
%   pages = "10--119",
%   note = "Full INBOOK entry (w series)",
%}

%INcollection{DK:74-incoll,
%   author = "Donald E. Knuth",
%   title = "Fundamental Algorithms (incoll)",
%   volume = 1,
%   booktitle = "The Art of Computer Programming",
%   publisher = "Addison-Wesley",
%   address = "Reading, Massachusetts",
%   month = "10~" # jan,
%   year = "1974",
%   pages = "10--119",
%   editor = "Bernard Rous",
%   note = "This is a full incoll entry with an editor",
%}

%INcollection{DK:75-incollws,
%   author = "Donald E. Knuth",
%   title = "Fundamental Algorithms (incoll w series)",
%   volume = 1,
%   booktitle = "The Art of Computer Programming",
%   series = "The Art of Computer Programming",
%   publisher = "Addison-Wesley",
%   address = "Reading, Massachusetts",
%   month = "10~" # jan,
%   year = "1975",
%   pages = "10--119",
%   editor = "Bernard Rous",
%   note = "This is a full incoll entry with an editor and series",
%}


@incollection{GM05,
Author= "Dan Geiger and Christopher Meek",
Title= "Structured Variational Inference Procedures and their Realizations (as incol)",
Year= 2005,
Booktitle="Proceedings of Tenth International Workshop on Artificial Intelligence and Statistics, {\rm The Barbados}",
Publisher="The Society for Artificial Intelligence and Statistics",
Month= jan,
Editors= "Z. Ghahramani and R. Cowell"
}

@Inproceedings{Smith10,
  author =       "Stan W. Smith",
  title =        "An experiment in bibliographic mark-up: Parsing metadata for XML export",
  booktitle =    "Proceedings of the 3rd. annual workshop on Librarians and Computers",
  series =       "LAC '10",
  editor =       "Reginald N. Smythe and Alexander Noble",
  volume =       "3",
  year =         "2010",
  publisher =    "Paparazzi Press",
  address =      "Milan Italy",
  pages =        "422--431",
  doi =          "99.9999/woot07-S422",
  OPTurl =          "http://dx.doi.org/99.0000/woot07-S422",
  number =       "",
  month =        "",
  organization = "",
  note =         "",
}

@Inproceedings{VanGundy07,
  author =       "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna",
  year =         "2007",
  title =        "Catch me, if you can: Evading network signatures with web-based polymorphic worms",
  booktitle =    "Proceedings of the first USENIX workshop on Offensive Technologies",
  series =       "WOOT '07",
  publisher =    "USENIX Association",
  address =      "Berkley, CA",
  articleno =    "7",
  numpages =     "9",
  editor =       "",
  volume =       "",
  number =       "",
  pages =        "",
  month =        "",
  organization = "",
  note =         "",
}

@Inproceedings{VanGundy08,
  author =       "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna",
  year =         "2008",
  title =        "Catch me, if you can: Evading network signatures with web-based polymorphic worms",
  booktitle =    "Proceedings of the first USENIX workshop on Offensive Technologies",
  series =       "WOOT '08",
  publisher =    "USENIX Association",
  address =      "Berkley, CA",
  articleno =    "7",
  numpages =     "2",
  editor =       "",
  volume =       "",
  number =       "",
  pages =        "99-100",
  month =        "",
  organization = "",
  note =         "",
}

@Inproceedings{VanGundy09,
  author =       "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna",
  year =         "2009",
  title =        "Catch me, if you can: Evading network signatures with web-based polymorphic worms",
  booktitle =    "Proceedings of the first USENIX workshop on Offensive Technologies",
  series =       "WOOT '09",
  publisher =    "USENIX Association",
  address =      "Berkley, CA",
  articleno =    "",
  numpages =     "",
  editor =       "",
  volume =       "",
  number =       "",
  pages =        "90--100",
  month =        "",
  organization = "",
  note =         "",
}

@Inproceedings{Andler79,
  author =       "Sten Andler",
  title =        "Predicate Path expressions",
  booktitle =    "Proceedings of the 6th. ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages",
  series =       "POPL '79",
  year =         "1979",
  publisher =    "ACM Press",
  address =      "New York, NY",
  pages =        "226--236",
  doi =          "10.1145/567752.567774",
  OPTurl =          "http://doi.acm.org/10.1145/567752.567774",
  editor =       "",
  volume =       "",
  number =       "",
  month =        "",
  organization = "",
  note =         "",
}

@Techreport{Harel78,
  author =       "David Harel",
  year =         "1978",
  title =        "LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER",
  institution =  "Massachusetts Institute of Technology",
  type =         "MIT Research Lab Technical Report",
  number =       "TR-200",
  address =      "Cambridge, MA",
  month =        "",
  note =         "",
}

@MASTERSTHESIS{anisi03,
author = {David A. Anisi},
title = {Optimal Motion Control of a Ground Vehicle},
school = {Royal Institute of Technology (KTH), Stockholm, Sweden},
intitution = {FOI-R-0961-SE, Swedish Defence Research Agency (FOI)},
year = {2003},
}


@Phdthesis{Clarkson85,
  author =       "Kenneth L. Clarkson",
  year =         "1985",
  title =        "Algorithms for Closest-Point Problems (Computational Geometry)",
  school =       "Stanford University",
  address =      "Palo Alto, CA",
  note =         "UMI Order Number: AAT 8506171",
  type =         "",
  month =        "",
}


@misc{Thornburg01,
  author =       "Harry Thornburg",
  year =         "2001",
  title =        "Introduction to Bayesian Statistics",
  url =          "http://ccrma.stanford.edu/~jos/bayes/bayes.html",
  month =        mar,
  lastaccessed = "March 2, 2005",
}


@misc{Ablamowicz07,
  author =       "Rafal Ablamowicz and Bertfried Fauser",
  year =         "2007",
  title =        "CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11",
  url =          "http://math.tntech.edu/rafal/cliff11/index.html",
  lastaccessed = "February 28, 2008",
}


@misc{Poker06,
  author =       "Poker-Edge.Com",
  year =         "2006",
  month =        mar,
  title =        "Stats and Analysis",
  lastaccessed = "June 7, 2006",
  url =          "http://www.poker-edge.com/stats.php",
}

@misc{Obama08,
  author        = "Barack Obama",
  year          = "2008",
  title         = "A more perfect union",
  howpublished  = "Video",
  day           = "5",
  url           = "http://video.google.com/videoplay?docid=6528042696351994555",
  month         = mar,
  lastaccessed  = "March 21, 2008",
  note          =  "",
}

@misc{JoeScientist001,
  author =       "Joseph Scientist",
  year =         "2009",
  title =        "The fountain of youth",
  note =         "Patent No. 12345, Filed July 1st., 2008, Issued Aug. 9th., 2009",
  url =          "",
  howpublished = "",
  month =        aug,
  lastaccessed = "",
}


@Inproceedings{Novak03,
  author =       "Dave Novak",
  title =        "Solder man",
  booktitle =    "ACM SIGGRAPH 2003 Video Review on Animation theater Program: Part I - Vol. 145 (July 27--27, 2003)",
  year =         "2003",
  publisher =    "ACM Press",
  address =      "New York, NY",
  pages =        "4",
  month =        "March 21, 2008",
  doi =          "99.9999/woot07-S422",
  url =          "http://video.google.com/videoplay?docid=6528042696351994555",
  note =         "",
  howpublished = "Video",
  editor =       "",
  volume =       "",
  number =       "",
  series =       "",
  organization = "",
}


@article{Lee05,
  author =       "Newton Lee",
  year =         "2005",
  title =        "Interview with Bill Kinder: January 13, 2005",
  journal =      "Comput. Entertain.",
  eid =          "4",
  volume =       "3",
  number =       "1",
  month =        "Jan.-March",
  doi =          "10.1145/1057270.1057278",
  OPTurl =          "http://doi.acm.org/10.1145/1057270.1057278",
  howpublished = "Video",
  note =         "",
}

@article{Rous08,
  author =       "Bernard Rous",
  year =         "2008",
  title =        "The Enabling of Digital Libraries",
  journal =      "Digital Libraries",
  volume =       "12",
  number =       "3",
  month =        jul,
  articleno =    "5",
  doi =          "",
  url =          "",
  howpublished = "",
  note =         "To appear",
}

@article{384253,
 author = {Werneck,, Renato and Setubal,, Jo\~{a}o and da Conceic\~{a}o,, Arlindo},
 title = {(old) Finding minimum congestion spanning trees},
 journal = {J. Exp. Algorithmics},
 volume = {5},
 year = {2000},
 issn = {1084-6654},
 pages = {11},
 doi = {10.1145/351827.384253},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{Werneck:2000:FMC:351827.384253,
 author = {Werneck, Renato and Setubal, Jo\~{a}o and da Conceic\~{a}o, Arlindo},
 title = {(new) Finding minimum congestion spanning trees},
 journal = {J. Exp. Algorithmics},
 volume = {5},
 month = dec,
 year = {2000},
 issn = {1084-6654},
 articleno = {11},
 OPTurl = {http://portal.acm.org/citation.cfm?id=351827.384253},
 doi = {10.1145/351827.384253},
 acmid = {384253},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{1555162,
 author = {Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro},
 title = {(old) Distributed data source verification in wireless sensor networks},
 journal = {Inf. Fusion},
 volume = {10},
 number = {4},
 year = {2009},
 issn = {1566-2535},
 pages = {342--353},
 doi = {10.1016/j.inffus.2009.01.002},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@article{Conti:2009:DDS:1555009.1555162,
 author = {Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro},
 title = {(new) Distributed data source verification in wireless sensor networks},
 journal = {Inf. Fusion},
 volume = {10},
 number = {4},
 month = oct,
 year = {2009},
 issn = {1566-2535},
 pages = {342--353},
 numpages = {12},
 OPTurl = {http://portal.acm.org/citation.cfm?id=1555009.1555162},
 doi = {10.1016/j.inffus.2009.01.002},
 acmid = {1555162},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {Clone detection, Distributed protocol, Securing data fusion, Wireless sensor networks},
}

@inproceedings{Li:2008:PUC:1358628.1358946,
 author = {Li, Cheng-Lun and Buyuktur, Ayse G. and Hutchful, David K. and Sant, Natasha B. and Nainwal, Satyendra K.},
 title = {Portalis: using competitive online interactions to support aid initiatives for the homeless},
 booktitle = {CHI '08 extended abstracts on Human factors in computing systems},
 year = {2008},
 isbn = {978-1-60558-012-X},
 location = {Florence, Italy},
 pages = {3873--3878},
 numpages = {6},
 OPTurl = {http://portal.acm.org/citation.cfm?id=1358628.1358946},
 doi = {10.1145/1358628.1358946},
 acmid = {1358946},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {cscw, distributed knowledge acquisition, incentive design, online games, recommender systems, reputation systems, user studies, virtual community},
}

@book{Hollis:1999:VBD:519964,
 author = {Hollis, Billy S.},
 title = {Visual Basic 6: Design, Specification, and Objects with Other},
 year = {1999},
 isbn = {0130850845},
 edition = {1st},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
 }


@book{Goossens:1999:LWC:553897,
 author = {Goossens, Michel and Rahtz, S. P. and Moore, Ross and Sutor, Robert S.},
 title = {The  Latex Web Companion: Integrating TEX, HTML, and XML},
 year = {1999},
 isbn = {0201433117},
 edition = {1st},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }

% need to test genres for errant isbn output

% techreport
@techreport{897367,
 author = {Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D.},
 title = {Vertex Types in Book-Embeddings},
 year = {1987},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-1987-018},
 publisher = {University of Massachusetts},
 address = {Amherst, MA, USA},
 }

@techreport{Buss:1987:VTB:897367,
 author = {Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D.},
 title = {Vertex Types in Book-Embeddings},
 year = {1987},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-1987-018},
 publisher = {University of Massachusetts},
 address = {Amherst, MA, USA},
 }

% whole proceedings

@proceedings{Czerwinski:2008:1358628,
 author = {},
 note = {General Chair-Czerwinski, Mary and General Chair-Lund, Arnie and Program Chair-Tan, Desney},
 title = {CHI '08: CHI '08 extended abstracts on Human factors in computing systems},
 year = {2008},
 isbn = {978-1-60558-012-X},
 location = {Florence, Italy},
 order_no = {608085},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

% phdthesis

@phdthesis{Clarkson:1985:ACP:911891,
 author = {Clarkson, Kenneth Lee},
 advisor = {Yao, Andrew C.},
 title = {Algorithms for Closest-Point Problems (Computational Geometry)},
 year = {1985},
 note = {AAT 8506171},
 school = {Stanford University},
 address = {Stanford, CA, USA},
 }
% school is being picked up -- but not publisher (which is OK)
% Also -- the title is NOT being output in italics !!! Arrrrgh! - I fixed it. :-)


%%% compare with 'old'
%%% atsign-Phdthesis{Clarkson85,
%%%  author =       "Kenneth L. Clarkson",
%%%  year =         "1985",
%%%  title =        "Algorithms for Closest-Point Problems (Computational Geometry)",
%%%  school =       "Stanford University",
%%%  address =      "Palo Alto, CA",
%%%  note =         "UMI Order Number: AAT 8506171",
%%%  type =         "",
%%%  month =        "",
%%%}

% A bibliography
@Article{1984:1040142,
 key = {{$\!\!$}},
 journal = {SIGCOMM Comput. Commun. Rev.},
 year = {1984},
 issn = {0146-4833},
 volume = {13-14},
 number = {5-1},
 issue_date = {January/April 1984},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


% grinder
@inproceedings{2004:ITE:1009386.1010128,
 key = {IEEE},
 title = {IEEE TCSC Executive Committee},
 booktitle = {Proceedings of the IEEE International Conference on Web Services},
 series = {ICWS '04},
 year = {2004},
 isbn = {0-7695-2167-3},
 pages = {21--22},
 OPTurl = {http://dx.doi.org/10.1109/ICWS.2004.64},
 doi = {10.1109/ICWS.2004.64},
 acmid = {1010128},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

% div book
@book{Mullender:1993:DS(:302430,
 editor = {Mullender, Sape},
 title = {Distributed systems (2nd Ed.)},
 year = {1993},
 isbn = {0-201-62427-3},
 publisher = {ACM Press/Addison-Wesley Publishing Co.},
 address = {New York, NY, USA},
 }

% master thesis (as techreport and thesis)

@techreport{Petrie:1986:NAD:899644,
 author = {Petrie, Charles J.},
 title = {New Algorithms for Dependency-Directed Backtracking (Master's thesis)},
 year = {1986},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autexas_cs%3AUTEXAS_CS%2F%2FAI86-33},
 publisher = {University of Texas at Austin},
 address = {Austin, TX, USA},
 }

@MASTERSTHESIS{Petrie:1986:NAD:12345,
 author = {Petrie, Charles J.},
 title = {New Algorithms for Dependency-Directed Backtracking (Master's thesis)},
 year = {1986},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autexas_cs%3AUTEXAS_CS%2F%2FAI86-33},
 school = {University of Texas at Austin},
 address = {Austin, TX, USA},
 }




@BOOK{book-minimal,
   author = "Donald E. Knuth",
   title = "Seminumerical Algorithms",
   publisher = "Addison-Wesley",
   year = "1981",
}

% incollection (has an editor, title, and possibly a booktitle)
@INcollection{KA:2001,
 author = {Kong, Wei-Chang},
 Title = {The implementation of electronic commerce in SMEs in Singapore (as Incoll)},
 booktitle = {E-commerce and cultural values},
 year = {2001},
 isbn = {1-59140-056-2},
 pages = {51--74},
 numpages = {24},
 OPTurl = {http://portal.acm.org/citation.cfm?id=887006.887010},
 acmid = {887010},
 publisher = {IGI Publishing},
 address = {Hershey, PA, USA},
}


% with bibfield 'type' before chapter (note no editor)
@INBOOK{KAGM:2001,
 author = {Kong, Wei-Chang},
 type = {Name of Chapter:},
 chapter = {The implementation of electronic commerce in SMEs in Singapore (Inbook-w-chap-w-type)},
 title = {E-commerce and cultural values},
 year = {2001},
 isbn = {1-59140-056-2},
 pages = {51--74},
 numpages = {24},
 OPTurl = {http://portal.acm.org/citation.cfm?id=887006.887010},
 acmid = {887010},
 publisher = {IGI Publishing},
 address = {Hershey, PA, USA},
}

%%% Notes! This is because the atsign-INBOOK citation type specifies EITHER
%%% editor or author, but not both. In my experiments with the harvard/dcu
%%% bibtex style (and presumably this applies to other styles too), bibtex
%%% ignores the editor information if author information exists in an
%%% atsign-INBOOK entry. atsign-INCOLLECTION is far more commonly used in my references,
%%% and in the absence of an editor I believe most bibtex styles will just
%%% ommit the editor from the reference - the chapter information will not
%%% end up in the in-text citation as you suggest it should be but at least
%%% there is a place to put the editor if necessary.



% was 'Inbook' -- changed to incollection - (editor is different to author) - need to tell Asad to codify as such.
@incollection{Kong:2002:IEC:887006.887010,
  author =      {Kong, Wei-Chang},
  editor =      {Theerasak Thanasankit},
  title =       {Chapter 9},
  booktitle =   {E-commerce and cultural values (Incoll-w-text (chap 9) 'title')},
  year =        {2002},
  address =     {Hershey, PA, USA},
  publisher =   {IGI Publishing},
  OPTurl =         {http://portal.acm.org/citation.cfm?id=887006.887010},
  pages =       {51--74},
  numpages =    {24},
  acmid =       {887010},
  isbn =        {1-59140-056-2},
  number =      "",
  type =        "",
  month =       "",
  note =        "",
}

% incol when the chapter is 'text' - due to presence of editor (different to author)
@incollection{Kong:2003:IEC:887006.887011,
 author = {Kong, Wei-Chang},
 title = {The implementation of electronic commerce in SMEs in Singapore (Incoll)},
 booktitle = {E-commerce and cultural values},
 editor = {Thanasankit, Theerasak},
 year = {2003},
 isbn = {1-59140-056-2},
 pages = {51--74},
 numpages = {24},
 OPTurl = {http://portal.acm.org/citation.cfm?id=887006.887010},
 acmid = {887010},
 publisher = {IGI Publishing},
 address = {Hershey, PA, USA},
}

% ------ test
%incollection{Kong:2003:IEC:887006.887010,
% author = {Kong, Wei-Chang},
% chapter = {The implementation of electronic commerce in SMEs in Singapore (Incoll-text-in-chap)},
% booktitle = {booktitle E-commerce and cultural values},
% title =   {The title},
% editor = {Thanasankit, Theerasak},
% year = {2003},
% isbn = {1-59140-056-2},
% pages = {51--74},
% numpages = {24},
% url = {http://portal.acm.org/citation.cfm?id=887006.887010},
% acmid = {887010},
% publisher = {IGI Publishing},
% address = {Hershey, PA, USA},
%}


% ---------





% Need inbook with num in chapter

% and inbook with number in chapter
@InBook{Kong:2004:IEC:123456.887010,
  author =      {Kong, Wei-Chang},
  editor =      {Theerasak Thanasankit},
  title =       {E-commerce and cultural values - (InBook-num-in-chap)},
  chapter =     {9},
  year =        {2004},
  address =     {Hershey, PA, USA},
  publisher =   {IGI Publishing},
  OPTurl =         {http://portal.acm.org/citation.cfm?id=887006.887010},
  pages =       {51--74},
  numpages =    {24},
  acmid =       {887010},
  isbn =        {1-59140-056-2},
  number =      "",
  type =        "",
  month =       "",
  note =        "",
}


% and inbook with text in chapter
@Inbook{Kong:2005:IEC:887006.887010,
  author =      {Kong, Wei-Chang},
  editor =      {Theerasak Thanasankit},
  title =       {E-commerce and cultural values (Inbook-text-in-chap)},
  chapter =     {The implementation of electronic commerce in SMEs in Singapore},
  year =        {2005},
  address =     {Hershey, PA, USA},
  publisher =   {IGI Publishing},
  OPTurl =         {http://portal.acm.org/citation.cfm?id=887006.887010},
  type =        {Chapter:},
  pages =       {51--74},
  numpages =    {24},
  acmid =       {887010},
  isbn =        {1-59140-056-2},
  number =      "",
  month =       "",
  note =        "",
}


% and inbook with a num and type field
@Inbook{Kong:2006:IEC:887006.887010,
  author =      {Kong, Wei-Chang},
  editor =      {Theerasak Thanasankit},
  title =       {E-commerce and cultural values (Inbook-num chap)},
  chapter =     {22},
  year =        {2006},
  address =     {Hershey, PA, USA},
  publisher =   {IGI Publishing},
  OPTurl =         {http://portal.acm.org/citation.cfm?id=887006.887010},
  type =        {Chapter (in type field)},
  pages =       {51--74},
  numpages =    {24},
  acmid =       {887010},
  isbn =        {1-59140-056-2},
  number =      "",
  month =       "",
  note =        "",
}


% and incol coz we have a BLANK chapter - due to presence of editor
%atIncollection{Kong:2006:IEC:887006.887011,
%  author =     {Kong, Wei-Chang},
%  editor =     {Theerasak Thanasankit},
%  title =      "The title"
%  booktitle =  {E-commerce and cultural values (Incol-coz-blank-chap)},
%  year =       {2006},
%  address =    {Hershey, PA, USA},
%  publisher =  {IGI Publishing},
%  url =        {http://portal.acm.org/citation.cfm?id=887006.887010},
%  type =       {Type!},
%  chapter =    {},
%  pages =      {51--74},
%  numpages =   {24},
%  acmid =      {887010},
%  isbn =       {1-59140-056-2},
%  number =     "",
%  month =      "",
%  note =       "",
%}

@article{SaeediMEJ10,
            author = {Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi},
            title = {A library-based synthesis methodology for reversible logic},
            journal = {Microelectron. J.},
            volume = {41},
            number = {4},
            month = apr,
            year = {2010},
            pages = {185--194},
}

@ARTICLE{SaeediJETC10,
            author = {Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi and Zahra Sasanian},
            title = {Synthesis of Reversible Circuit Using Cycle-Based Approach},
            journal = {J. Emerg. Technol. Comput. Syst.},
            volume = {6},
            number = {4},
            month = dec,
            year = {2010}
            }

% Asad's new version
@article{Kirschmer:2010:AEI:1958016.1958018,
 author = {Kirschmer, Markus and Voight, John},
 title = {Algorithmic Enumeration of Ideal Classes for Quaternion Orders},
 journal = {SIAM J. Comput.},
 issue_date = {January 2010},
 volume = {39},
 number = {5},
 month = jan,
 year = {2010},
 issn = {0097-5397},
 pages = {1714--1747},
 numpages = {34},
 url = {http://dx.doi.org/10.1137/080734467},
 doi = {10.1137/080734467},
 acmid = {1958018},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA},
 keywords = {ideal classes, maximal orders, number theory, quaternion algebras},
}


% incol due to presence of booktitle
@incollection{Hoare:1972:CIN:1243380.1243382,
 author = {Hoare, C. A. R.},
 title = {Chapter II: Notes on data structuring},
 booktitle = {Structured programming (incoll)},
 editor = {Dahl, O. J. and Dijkstra, E. W. and Hoare, C. A. R.},
 year = {1972},
 isbn = {0-12-200550-3},
 pages = {83--174},
 numpages = {92},
 OPTurl = {http://portal.acm.org/citation.cfm?id=1243380.1243382},
 acmid = {1243382},
 publisher = {Academic Press Ltd.},
 address = {London, UK, UK},
}

% incol due to presence of booktitle
@incollection{Lee:1978:TQA:800025.1198348,
 author = {Lee, Jan},
 title = {Transcript of question and answer session},
 booktitle = {History of programming languages I (incoll)},
 editor = {Wexelblat, Richard L.},
 year = {1981},
 isbn = {0-12-745040-8},
 pages = {68--71},
 numpages = {4},
 OPTurl = {http://doi.acm.org/10.1145/800025.1198348},
 doi = {10.1145/800025.1198348},
 acmid = {1198348},
 publisher = {ACM},
 address = {New York, NY, USA},
}

% incol due to booktitle
@incollection{Dijkstra:1979:GSC:1241515.1241518,
 author = {Dijkstra, E.},
 title = {Go to statement considered harmful},
 booktitle = {Classics in software engineering (incoll)},
 year = {1979},
 isbn = {0-917072-14-6},
 pages = {27--33},
 numpages = {7},
 OPTurl = {http://portal.acm.org/citation.cfm?id=1241515.1241518},
 acmid = {1241518},
 publisher = {Yourdon Press},
 address = {Upper Saddle River, NJ, USA},
}

% incol due to booktitle
@incollection{Wenzel:1992:TVA:146022.146089,
 author = {Wenzel, Elizabeth M.},
 title = {Three-dimensional virtual acoustic displays},
 booktitle = {Multimedia interface design (incoll)},
 year = {1992},
 isbn = {0-201-54981-6},
 pages = {257--288},
 numpages = {32},
 OPTurl = {http://portal.acm.org/citation.cfm?id=146022.146089},
 doi = {10.1145/146022.146089},
 acmid = {146089},
 publisher = {ACM},
 address = {New York, NY, USA},
}

% incol due to booktitle
@incollection{Mumford:1987:MES:54905.54911,
 author = {Mumford, E.},
 title = {Managerial expert systems and organizational change: some critical research issues},
 booktitle = {Critical issues in information systems research (incoll)},
 year = {1987},
 isbn = {0-471-91281-6},
 pages = {135--155},
 numpages = {21},
 OPTurl = {http://portal.acm.org/citation.cfm?id=54905.54911},
 acmid = {54911},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
}

@book{McCracken:1990:SSC:575315,
 author = {McCracken, Daniel D. and Golden, Donald G.},
 title = {Simplified Structured COBOL with Microsoft/MicroFocus COBOL},
 year = {1990},
 isbn = {0471514071},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
}

% Let's include Boris / BBeeton entries  (multi-volume works)

@book {MR781537,
    AUTHOR = {H{\"o}rmander, Lars},
     TITLE = {The analysis of linear partial differential operators. {III}},
    SERIES = {Grundlehren der Mathematischen Wissenschaften [Fundamental
              Principles of Mathematical Sciences]},
    VOLUME = {275},
      NOTE = {Pseudodifferential operators},
PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin, Germany},
      YEAR = {1985},
     PAGES = {viii+525},
      ISBN = {3-540-13828-5},
   MRCLASS = {35-02 (35Sxx 47G05 58G15)},
  MRNUMBER = {781536 (87d:35002a)},
MRREVIEWER = {Min You Qi},
}

@book {MR781536,
    AUTHOR = {H{\"o}rmander, Lars},
     TITLE = {The analysis of linear partial differential operators. {IV}},
    SERIES = {Grundlehren der Mathematischen Wissenschaften [Fundamental
              Principles of Mathematical Sciences]},
    VOLUME = {275},
      NOTE = {Fourier integral operators},
PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin, Germany},
      YEAR = {1985},
     PAGES = {vii+352},
      ISBN = {3-540-13829-3},
   MRCLASS = {35-02 (35Sxx 47G05 58G15)},
  MRNUMBER = {781537 (87d:35002b)},
MRREVIEWER = {Min You Qi},
}

%%%%%%%%%%%%%%%%%%%%%% Start of Aptara sample bib entries

% acmsmall-sam.bib
@InProceedings{Adya-01,
  author        = {A. Adya and P. Bahl and J. Padhye and A.Wolman and L. Zhou},
  title         = {A multi-radio unification protocol for {IEEE} 802.11 wireless networks},
  booktitle     = {Proceedings of the IEEE 1st International Conference on Broadnets Networks (BroadNets'04)},
  publisher     = "IEEE",
  address       = "Los Alamitos, CA",
  year          = {2004},
  pages         = "210--217"
}

@article{Akyildiz-01,
  author        = {I. F. Akyildiz and W. Su and Y. Sankarasubramaniam and E. Cayirci},
  title         = {Wireless Sensor Networks: A Survey},
  journal       = {Comm. ACM},
  volume        = 38,
  number        = "4",
  year          = {2002},
  pages         = "393--422"
}

@article{Akyildiz-02,
  author        = {I. F. Akyildiz and T. Melodia and K. R. Chowdhury},
  title         = {A Survey on Wireless Multimedia Sensor Networks},
  journal       = {Computer Netw.},
  volume        = 51,
  number        = "4",
  year          = {2007},
  pages         = "921--960"
}

@InProceedings{Bahl-02,
  author        = {P. Bahl and R. Chancre and J. Dungeon},
  title         = {{SSCH}: Slotted Seeded Channel Hopping for Capacity Improvement in {IEEE} 802.11 Ad-Hoc Wireless Networks},
  booktitle     = {Proceeding of the 10th International Conference on Mobile Computing and Networking (MobiCom'04)},
  publisher     = "ACM",
  address       = "New York, NY",
  year          = {2004},
  pages         = "112--117"
}

@misc{CROSSBOW,
  key       = {CROSSBOW},
  title     = {{XBOW} Sensor Motes Specifications},
  note      = {http://www.xbow.com},
  year      = 2008
}

@article{Culler-01,
  author        = {D. Culler and D. Estrin and M. Srivastava},
  title         = {Overview of Sensor Networks},
  journal       = {IEEE Comput.},
  volume        = 37,
  number        = "8 (Special Issue on Sensor Networks)",
  publisher     = "IEEE",
  address       = "Los Alamitos, CA",
  year          = {2004},
  pages         = "41--49"
}

@misc{Harvard-01,
    key         = {Harvard CodeBlue},
    title       = {{CodeBlue}: Sensor Networks for Medical Care},
    note        = {http://www.eecs.harvard.edu/mdw/ proj/codeblue/},
    year        = 2008
}

@InProceedings{Natarajan-01,
    author      = {A. Natarajan and M. Motani and B. de Silva and K. Yap and K. C. Chua},
    title       = {Investigating Network Architectures for Body Sensor Networks},
    booktitle   = {Network Architectures},
    editor      = {G. Whitcomb and P. Neece},
    publisher   = "Keleuven Press",
    address     = "Dayton, OH",
    year        = {2007},
    pages       = "322--328",
    eprint      = "960935712",
    primaryclass = "cs",
}

@techreport{Tzamaloukas-01,
  author        = {A. Tzamaloukas and J. J. Garcia-Luna-Aceves},
  title         = {Channel-Hopping Multiple Access},
  number =        {I-CA2301},
  institution =   {Department of Computer Science, University of California},
  address =       {Berkeley, CA},
  year          = {2000}
}

@BOOK{Zhou-06,
  author        = {G. Zhou and J. Lu and C.-Y. Wan and M. D. Yarvis and J. A. Stankovic},
  title         = {Body Sensor Networks},
  publisher     = "MIT Press",
  address       = "Cambridge, MA",
  year          = {2008}
}

@mastersthesis{ko94,
author = "Jacob Kornerup",
title = "Mapping Powerlists onto Hypercubes",
school = "The University of Texas at Austin",
note = "(In preparation)",
year = "1994"}
%month = "dec",}

@PhdThesis{gerndt:89,
  author =       "Michael Gerndt",
  title =        "Automatic Parallelization for Distributed-Memory
                  Multiprocessing Systems",
  school =       "University of Bonn",
  year =         1989,
  address =      "Bonn, Germany",
  month =        dec
}

@article{6:1:1,
author = "J. E. {Archer, Jr.} and R. Conway and F. B. Schneider",
title = "User recovery and reversal in interactive systems",
journal = "ACM Trans. Program. Lang. Syst.",
volume =  "6",
number = "1",
month = jan,
year = 1984,
pages = "1--19"}

@article{7:1:137,
author = "D. D. Dunlop and V. R. Basili",
title = "Generalizing specifications for uniformly implemented loops",
journal = "ACM Trans. Program. Lang. Syst.",
volume =  "7",
number = "1",
month = jan,
year = 1985,
pages = "137--158"}

@article{7:2:183,
author = "J. Heering and P. Klint",
title = "Towards monolingual programming environments",
journal = "ACM Trans. Program. Lang. Syst.",
volume =  "7",
number = "2",
month = apr,
year = 1985,
pages = "183--213"}

@book{knuth:texbook,
author = "Donald E. Knuth",
title = "The {\TeX{}book}",
publisher = "Addison-Wesley",
address = "Reading, MA.",
year = 1984}

@article{6:3:380,
author = "E. Korach and D.  Rotem and N. Santoro",
title = "Distributed algorithms for finding centers and medians in networks",
journal = "ACM Trans. Program. Lang. Syst.",
volume =  "6",
number = "3",
month = jul,
year = 1984,
pages = "380--401"}

@book{lamport:latex,
author = "Leslie Lamport",
title = "{\LaTeX}: A Document Preparation System",
publisher = "Addison-Wesley",
address = "Reading, MA.",
year = 1986}

@article{7:3:359,
author = "F. Nielson",
title = "Program transformations in a denotational setting",
journal = "ACM Trans. Program. Lang. Syst.",
volume =  "7",
number = "3",
month = jul,
year = 1985,
pages = "359--379"}

%testing
@BOOK{test,
   author = "Donald E. Knuth",
   title = "Seminumerical Algorithms",
   volume = 2,
   series = "The Art of Computer Programming",
   publisher = "Addison-Wesley",
   address = "Reading, MA",
   edition = "2nd",
   month = "10~" # jan,
   year = "1981",
}

@inproceedings{reid:scribe,
author = "Brian K. Reid",
title = "A high-level approach to computer document formatting",
booktitle = "Proceedings of the 7th Annual Symposium on Principles of
  Programming Languages",
month = jan,
year = 1980,
publisher = "ACM",
address = "New York",
pages = "24--31"}

@article{Zhou:2010:MMS:1721695.1721705,
 author = {Zhou, Gang and Wu, Yafeng and Yan, Ting and He, Tian and Huang, Chengdu and Stankovic, John A. and Abdelzaher, Tarek F.},
 title = {A multifrequency MAC specially designed for wireless sensor network applications},
 journal = {ACM Trans. Embed. Comput. Syst.},
 issue_date = {March 2010},
 volume = 9,
 number = 4,
 month = {April},
 year = 2010,
 issn = {1539-9087},
 pages = {39:1--39:41},
 articleno = 39,
 numpages = 41,
 OPTurl = {http://doi.acm.org/10.1145/1721695.1721705},
 doi = {10.1145/1721695.1721705},
 acmid = 1721705,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Wireless sensor networks, media access control, multi-channel, radio interference, time synchronization},
}


@misc{TUGInstmem,
  key =          {TUG},
  year  =        2017,
  title =        "Institutional members of the {\TeX} Users Group",
  url =          "http://www.tug.org/instmem.html",
  lastaccessed = "May 27, 2017",
}

@ARTICLE{bowman:reasoning,
    author = {Bowman, Mic and Debray, Saumya K. and Peterson, Larry L.},
    title = {Reasoning About Naming Systems},
    journal = {ACM Trans. Program. Lang. Syst.},
    volume = {15},
    number = {5},
    pages = {795-825},
    month = {November},
    year = {1993},
    doi = {10.1145/161468.161471},
}

@ARTICLE{braams:babel,
    author = {Braams, Johannes},
    title = {Babel, a Multilingual Style-Option System for Use with LaTeX's Standard Document Styles},
    journal = {TUGboat},
    volume = {12},
    number = {2},
    pages = {291-301},
    month = {June},
    year = {1991},
}

@INPROCEEDINGS{clark:pct,
  AUTHOR = "Malcolm Clark",
  TITLE = "Post Congress Tristesse",
  BOOKTITLE = "TeX90 Conference Proceedings",
  PAGES = "84-89",
  ORGANIZATION = "TeX Users Group",
  MONTH = "March",
  YEAR = {1991}
}

@ARTICLE{herlihy:methodology,
    author = {Herlihy, Maurice},
    title = {A Methodology for Implementing Highly Concurrent Data Objects},
    journal = {ACM Trans. Program. Lang. Syst.},
    volume = {15},
    number = {5},
    pages = {745-770},
    month = {November},
    year = {1993},
    doi = {10.1145/161468.161469},
}

@BOOK{salas:calculus,
  AUTHOR = "S.L. Salas and Einar Hille",
  TITLE = "Calculus: One and Several Variable",
  PUBLISHER = "John Wiley and Sons",
  ADDRESS = "New York",
  YEAR = "1978"
}

@MANUAL{Fear05,
  title =        {Publication quality tables in {\LaTeX}},
  author =       {Simon Fear},
  month =        {April},
  year =         2005,
  note =         {\url{http://www.ctan.org/pkg/booktabs}}
}

@Manual{Amsthm15,
  title =        {Using the amsthm Package},
  organization = {American Mathematical Society},
  month =        {April},
  year =         2015,
  note =         {\url{http://www.ctan.org/pkg/amsthm}}
}

@misc{R,
    title = {R: A Language and Environment for Statistical Computing},
    author = {{R Core Team}},
    organization = {R Foundation for Statistical Computing},
    address = {Vienna, Austria},
    year = {2019},
    url = {https://www.R-project.org/},
}

@misc{UMassCitations,
 author    =  {Sam Anzaroot and Andrew McCallum},
 title     =  {{UMass} Citation Field Extraction Dataset},
 year      = 2013,
 url       =
    {http://www.iesl.cs.umass.edu/data/data-umasscitationfield},
 lastaccessed = {May 27, 2019}
}






































@PHDTHESIS{Adams1973,
  author = {Adams, R. J.},
  year = 1973,
  title = {Building a Foundation for Evaluation of Instruction in Higher Education and Continuing Education},
  type = {Doctoral dissertation},
  url = {http://www.ohiolink.edu/etd/}}

@BOOK{APA10,
  author = {{American Psychological Association}},
  year = 2010,
  title = {Publication Manual of the {A}merican {P}sychological {A}ssociation},
  edition = {6},
  address = {Washington, DC},
  publisher = {Author}}

@BOOK{Ban77,
  author = {Bandura, A. J.},
  year = 1977,
  title = {Social Learning Theory},
  address = {Englewood Cliffs, NJ},
  publisher = {Prentice Hall}}

@ARTICLE{Bar91,
  editor = {Barlow, D. H.},
  year = 1991,
  title = {Diagnoses, Dimensions, and {DSM-IV} [{S}pecial issue]},
  journal = {Journal of Abnormal Psychology},
  volume = 100,
  number = 3}

@ARTICLE{BriIP,
  author = {Briscoe, R.},
  year = {in press},
  title = {Egocentric Spatial Representation in Action and Perception},
  journal = {Philosophy and Phenomenological Research},
  url = {http://cogprints.org/5780/1/ECSRAP.F07.pdf}}

@NEWSPAPER{Bro07,
  author = {Brody, J. E.},
  year = 2007,
  month = dec # "~11",
  title = {Mental Reserves Keep Brain Agile},
  journal = {The New York Times},
  url = {http://www.nytimes.com}}

@ARTICLE{Cha08,
  author = {Chamberlin, J. and Novotney, A. and Packard, E. and Price, M.},
  year = 2008,
  month = may,
  title = {Enhancing Worker Well-Being: Occupational Health Psychologists Convene to Share their Research on Work, Stress, and Health},
  journal = {Monitor on Psychology},
  volume = 39,
  number = 5,
  pages = {26--29}}

@ARTICLE{Cla08,
  author = {Clay, R.},
  year = 2008,
  month = jun,
  title = {Science vs. Ideology: Psychologists Fight Back about the Misuse of Research},
  journal = {Monitor on Psychology},
  volume = 39,
  number = 6,
  url = {http://www.apa.org/monitor/}}

@ARTICLE{Edi06,
  key = {Editorial},
  title = {Editorial: ``{W}hat is a Disaster'' and Why does this Question Matter?},
  type = {Editorial},
  year = 2006,
  journal = {Journal of Contingencies and Crisis Management},
  volume = 14,
  pages = {1--2}}

@TECHREPORT{EBRI92,
  author = {{Employee Benefit Research Institute}},
  year = 1992,
  month = feb,
  title = {Sources of Health Insurance and Characteristics of the Uninsured},
  type = {Issue Brief},
  number = {123},
  address = {Washington, DC},
  institution = {{Employee Benefit Research Institute}}}

@TECHREPORT{Fel81,
  author = {B. A. Feller},
  title = {Health Characteristics of Persons with Chronic Activity Limitation, {U}nited {S}tates, 1979},
  address = {Hyattsville, MD},
  institution = {National Center for Health Statistics (US)},
  year = 1981,
  type = {Report},
  number = {VHS-SER10/137}}

@ARTICLE{GSSM91,
  author = {Ganster, D. C. and Schaubroeck, J. and Sime, W. E. and Mayes, B. T.},
  year = 1991,
  title = {The Nomological Validity of the {Type A} Personality Among Employed Adults},
  type = {Monograph},
  journal = {Journal of Applied Psychology},
  volume = 76,
  pages = {143--168}}

@ARTICLE{Gil04,
  author = {Gilbert, David G. and McClernon, F. Joseph and Rabinovich, Norka E. and Chihiro Sugai and Louisette C. Plath and Greg Asgaard and Yantao Zuo and Jodi Huggenvik and Nazeih Botros},
  year = 2004,
  title = {Effects of quitting smoking on {EEG} activation and attention last for more than 31 days and are more severe with stress, dependence, {DRD2 A1} allele, and depressive traits},
  journal = {Nicotine and Tobacco Research},
  volume = 6,
  pages = {249--267},
  doi = {10.1080/14622200410001676305}}

@INCOLLECTION{Gra05,
  author = {Graham, G.},
  year = 2005,
  title = {Behaviorism},
  editor = {E. N. Zalta},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  edition = {Fall 2007},
  url = {http://plato.stanford.edu/entries/behaviorism}}

@ARTICLE{Gre06,
  editor = {Greenfield, P. and Yan, Z.},
  year = 2006,
  title = {Children, Adolescents, and the {I}nternet},
  type = {Special section},
  journal = {Developmental Psychology},
  volume = 42,
  pages = {391--458}}

@ARTICLE{Gui07,
  author = {Guimard, P. and Florin, A.},
  title = {Les {\'e}valuations des enseignants en grande section de maternelle sont-elles pr{\'e}dictives des difficult{\'e}s de lecture au cours pr{\'e}paratoire?},
  englishtitle = {Are teacher ratings in kindergarten predictive of reading difficulties in first grade?},
  journal = {Approche Neuropsychologique des Apprentissages chez l'Enfant},
  year = 2007,
  volume = 19,
  pages = {5--17}}

@ARTICLE{Han04,
  editor = {Haney, C. and Wiener, R. L.},
  year = 2004,
  title = {Capital Punishment in the {U}nited {S}tates},
  type = {Special issue},
  journal = {Psychology, Public Policy, and Law},
  volume = 10,
  number = 4}

@INCOLLECTION{Hay08,
  author = {D. M. Haybron},
  year = 2008,
  title = {Philosophy and the Science of Subjective Well-being},
  editor = {M. Eid and R. J. Larsen},
  booktitle = {The Science of Subjective Well-being},
  pages = {17--43},
  address = {New York, NY},
  publisher = {Guilford Press}}

@ARTICLE{HDK05,
  author = {Herbst-Damm, K. L. and Kulik, J. A.},
  year = 2005,
  title = {Volunteer Support, Marital Status, and the Survival Times of Terminally Ill Patients},
  journal = {Health Psychology},
  volume = 24,
  pages = {225--229}}

@ARTICLE{Jan76,
  author = {Janet, Paul},
  year = 1876,
  title = {La notion de la personnalit{\'e}},
  englishtitle = {The Notion of Personality},
  journal = {Revue Scientifique},
  volume = 10,
  pages = {574--575}}

@ARTICLE{Jan06,
  author = {Janet, Pierre},
  year = 1906,
  title = {The Pathogenesis of Some Impulsions},
  journal = {Journal of Abnormal Psychology},
  volume = 1,
  pages = {1--17}}

@INCOLLECTION{KGA07,
  author = {I. Katz and K. Gabayan and H. Aghajan},
  year = 2007,
  title = {A Multi-touch Surface Using Multiple Cameras},
  editor = {J. Blanc-Talon and W. Philips and D. Popescu and P. Scheunders},
  booktitle = {Lecture Notes in Computer Science: Vol. 4678. {A}dvanced Concepts for Intelligent Vision Systems},
  pages = {97--108},
  address = {Berlin},
  publisher = {Springer-Verlag}}

@TECHREPORT{Kes06,
  author = {Kessy, S. S. A. and Urio, F. M.},
  year = 2006,
  title = {The Contribution of Microfinance Institutions to Poverty Reduction in {T}anzania},
  type = {Research Report},
  number = {06.3},
  institution = {},
  URL = {\textrm{Research on Poverty Alleviation website:} http://www.repoa.or.tz/documents\_storage/Publications/Reports/06.3\_Kessy\_and\_Urio.pdf}}

@BOOK{Koc59,
  editor = {S. Koch},
  year = {1959--1963},
  title = {Psychology: A Study of Science},
  volume = {1--6},
  address = {New York, NY},
  publisher = {McGraw-Hill}}

@INPROCEEDINGS{Lee03,
  author = {D. J. Lee and D. Bates and C. Dromey and X. Xu and S. Antani},
  title = {An Imaging System Correlating Lip Shapes with Tongue Contact Patterns for Speech Pathology Research},
  editor = {M. Krol and S. Mitra and D. J. Lee},
  booktitle = {{CMBS} 2003. {P}roceedings of the 16th {IEEE} Symposium on Computer-Based Medical Systems},
  month = jun,
  year = 2003,
  pages = {307--313},
  publisher = {Los Alamitos, CA: IEEE Computer Society}}

@BOOK{Lig06,
  author = {Light, I.},
  year = 2006,
  title = {Deflecting Immigration: Networks, Markets, and Regulation in {L}os {A}ngeles},
  address = {New York, NY},
  publisher = {Russell Sage Foundation}}

@ARTICLE{Lig08,
  author = {Light, M. A. and Light, I. H.},
  year = 2008,
  title = {The Geographic Expansion of {M}exican Immigration in the {U}nited {S}tates and its Applications for Local Law Enforcement},
  journal = {Law Enforcement Executive Forum Journal},
  volume = 8,
  number = 1,
  pages = {73--82}}

@PRESENTATION{Liu05,
  author = {Liu, S.},
  year = 2005,
  title = {Defending against business crises with the help of intelligent agent based early warning solutions},
  howpublished = {Paper presented at the Seventh International Conference on Enterprise Information Systems, Miami, FL},
  month = may}

@MASTERSTHESIS{McN06,
  author = {McNiel, D. S.},
  year = 2006,
  title = {Meaning Through Narrative: A Personal Narrative Discussing Growing Up with an Alcoholic Mother},
  note = {Available from ProQuest Dissertations and Theses database. (UMI No. 1434728)}}

@ARTICLE{MPW08,
  author = {Marshall-Pescini, S. and Whiten, A.},
  year = 2008,
  title = {Social Learning of Nut-Cracking Behavior in {E}ast {A}frican Sanctuary-Living Chimpanzees (\emph{{P}an troglodytes schweinfurthii})},
  type = {Supplemental material},
  journal = {Journal of Comparative Psychology},
  volume = 122,
  pages = {186--194}}

@INCOLLECTION{Nas93,
  author = {Nash, M.},
  year = 1993,
  title = {Malay},
  editor = {P. Hockings},
  booktitle = {Encyclopedia of World Cultures},
  volume = 5,
  pages = {174--176},
  address = {New York, NY},
  publisher = {G.~K. Hall}}

@MASTERSTHESIS{Ovi95,
  author = {S. Oviedo},
  title = {Adolescent Pregnancy: Voices Heard in the Everyday Lives of Pregnant Teenagers},
  type = {Unpublished master's thesis},
  school = {University of North Texas},
  address = {Denton, TX},
  year = 1995}

@INCOLLECTION{Pia88,
  author = {Piaget, J.},
  year = 1988,
  title = {Extracts from {P}iaget's Theory},
  translator = {G. Gellerier and J. Langer},
  editor = {K. Richardson and S. Sheldon},
  booktitle = {Cognitive Development to Adolescence: A Reader},
  pages = {3--18},
  address = {Hillsdale, NJ},
  publisher = {Erlbaum},
  note = {Reprinted from \emph{Manual of child psychology}, pp. 703--732, by P.~H. Mussen, Ed., 1970, New York, NY: Wiley}}

@BOOK{PI51,
  author = {Piaget, J. and Inhelder, B.},
  year = 1951,
  title = {La gen{\`e}se de l'id{\'e}e de hasard chez l'enfant [{T}he Origin of the Idea of Chance in the Child]},
  address = {Paris},
  publisher = {Presses Universitaires de France}}

@BOOK{REA01,
  author = {{Real Academia Espa{\~n}ola}},
  year = 2001,
  title = {Diccionario de la lengua espa{\~n}ola},
  englishtitle = {Dictionary of the {S}panish Language},
  edition = 22,
  address = {Madrid},
  publisher = {{Real Academia Espa{\~n}ola}}}

@PHDTHESIS{Rit74,
  author = {R. E. Ritzmann},
  title = {The Snapping Mechanism of \emph{Alpheid} Shrimp},
  address = {Charlottesville, VA},
  school = {University of Virginia},
  year = 1974}

@ARTICLE{Sch00,
  author = {Schatz, B. R.},
  year = 2000,
  month = nov # "~17",
  title = {Learning by Text or Context? [{Review of the book \emph{The social life of information}, by J.~S. Brown \& P. Duguid}]},
  journal = {Science},
  volume = 290,
  pages = 1304}

@NEWSPAPER{Sch93,
  author = {Schwartz, J.},
  year = 1993,
  month = sep # "~30",
  title = {Obesity Affects Economic, Social Status},
  journal = {The Washington Post},
  pages = {A1, A4}}

@ARTICLE{Sil06,
  author = {Sillick, T. J. and Schutte, N. S.},
  year = 2006,
  title = {Emotional Intelligence and Self-Esteem Mediate between Perceived Early Parental Love and Adult Happiness},
  journal = {E-Journal of Applied Psychology},
  volume = 2,
  number = 2,
  pages = {38--48},
  url = {http://ojs.lib.swin.edu.au/index.php/ejap}}

@BOOK{Tho02,
  editor = {N. Thomas},
  title = {Perspectives on the Community College: A Journey of Discovery},
  type = {Monograph},
  url = {http://eric.ed.gov/},
  year = 2002}

@BOOK{VdB07,
  editor = {VandenBos, G. R.},
  year = 2007,
  title = {{APA} Dictionary of Psychology},
  address = {Washington, DC},
  publisher = {American Psychological Association}}

@ARTICLE{VL07,
  author = {Von Ledebur, S. C.},
  year = 2007,
  title = {Optimizing Knowledge Transfer by New Employees in Companies},
  journal = {Knowledge Management Research \& Practice},
  howpublished = {Advance online publication. doi:10.1057/palgrave/kmrp.8500141}}

@ARTICLE{Woo91,
  author = {Woolf, N. J. and Young, S. L. and Fanselow, M. S. and Butcher, L. L.},
  year = 1991,
  title = {{MAP}-2 Expression in Cholinoceptive Pyramidal Cells of Rodent Cortex and Hippocampus is Altered by {P}avlovian Conditioning [{A}bstract]},
  journal = {Society for Neuroscience Abstracts},
  volume = 17,
  pages = 480}
