%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Reinhard Anton Muskens",
%%%     version         = "1.02",
%%%     date            = "25 November 2011",
%%%     time            = "16:04:41 MDT",
%%%     filename        = "muskens-reinhard-a.bib",
%%%     address         = "Tilburg University
%%%                        Department of Linguistics
%%%                        PO Box 90153 Tilburg
%%%                        NL 5000 LE
%%%                        Holland",
%%%     telephone       = "?n/a?",
%%%     FAX             = "?n/a?",
%%%     checksum        = "24034 376 1493 14563",
%%%     email           = "muskens at coli.uni-sb.de (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "Computational Semantics",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Reinhard Anton Muskens.  The companion LaTeX file
%%%                        muskens-reinhard-a.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.02, the year coverage looked
%%%                        like this:
%%%
%%%                             1989 (   2)    1992 (   1)    1995 (   4)
%%%                             1990 (   0)    1993 (   5)    1996 (   1)
%%%                             1991 (   2)    1994 (   4)    1997 (   3)
%%%
%%%                             Article:          4
%%%                             Book:             1
%%%                             InCollection:    10
%%%                             InProceedings:    4
%%%                             Proceedings:      2
%%%                             TechReport:       1
%%%
%%%                             Total entries:   22
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%----------------------------------------------------------------------
%% Publisher abbreviations:

@String{pub-ELS = "Elsevier Science Publishers"}

@String{pub-ELS:adr = "Amsterdam, The Netherlands"}

@String{pub-PERGAMON = "Pergamon"}

@String{pub-PERGAMON:adr = "New York"}

@String{pub-SPRINGER = "Springer-Verlag"}

@String{pub-SPRINGER:adr = "Berlin, Heidelberg, New York, Tokyo"}

%%----------------------------------------------------------------------
%% Bibliography entries:

@InCollection{Muskens:1989:GPM,
  author =       "R. A. Muskens",
  editor =       "R. Bartsch and J. F. A. K. van~Benthem and P. van~Emde
                 Boas",
  booktitle =    "Semantics and Contextual Expression",
  title =        "Going {Partial} in {Montague Grammar}",
  publisher =    "Foris",
  address =      "Dordrecht",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Article{Muskens:1989:RFT,
  author =       "R. A. Muskens",
  title =        "A {Relational Formulation} of the {Theory} of
                 {Types}",
  journal =      "Linguistics and Philosophy",
  volume =       "12",
  pages =        "325--346",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1991:ALC,
  author =       "R. A. Muskens",
  editor =       "J. {Van Eijck}",
  booktitle =    "Logics in AI, Proceedings of JELIA '90",
  title =        "Anaphora and the {Logic} of {Change}",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "414--430",
  year =         "1991",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Article{Muskens:1991:HGM,
  author =       "R. A. Muskens",
  title =        "Hyperfine-{Grained Meanings} in {Classical}
                 {Logic}",
  journal =      "Logique et Analyse",
  volume =       "133/134",
  pages =        "159--176",
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  note =         "(Appeared in 1994)",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InProceedings{Muskens:1992:LOC,
  author =       "R. A. Muskens",
  editor =       "D. Pearce and G. Wagner",
  booktitle =    "Logics in AI, Proceedings of Jelia '92",
  title =        "Logical {Omniscience} and {Classical Logic}",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "52--64",
  year =         "1992",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1993:C,
  author =       "R. A. Muskens",
  editor =       "R. E. Asher and J. M. Y. Simpson",
  booktitle =    "The Encyclopedia of Language and Linguistics",
  title =        "Coreference",
  volume =       "2",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "769",
  year =         "1993",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1993:EPM,
  author =       "R. A. Muskens",
  editor =       "R. E. Asher and J. M. Y. Simpson",
  booktitle =    "The Encyclopedia of Language and Linguistics",
  title =        "Existence {Predicate} ({Modeltheoretic})",
  volume =       "3",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "1191",
  year =         "1993",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1993:PA,
  author =       "R. A. Muskens",
  editor =       "R. E. Asher and J. M. Y. Simpson",
  booktitle =    "The Encyclopedia of Language and Linguistics",
  title =        "Propositional {Attitudes}",
  volume =       "6",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "3380--3383",
  year =         "1993",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1993:PI,
  author =       "R. A. Muskens",
  editor =       "R. E. Asher and J. M. Y. Simpson",
  booktitle =    "The Encyclopedia of Language and Linguistics",
  title =        "Partial {Information}",
  volume =       "6",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "2952--2953",
  year =         "1993",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1993:PV,
  author =       "R. A. Muskens",
  editor =       "R. E. Asher and J. M. Y. Simpson",
  booktitle =    "The Encyclopedia of Language and Linguistics",
  title =        "Perception {Verbs}",
  volume =       "6",
  publisher =    pub-PERGAMON,
  address =      pub-PERGAMON:adr,
  pages =        "2999--3000",
  year =         "1993",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InProceedings{Krahmer:1994:UB,
  author =       "E. Krahmer and R. A. Muskens",
  editor =       "M. Harvey and L. Santelmann",
  booktitle =    "Proceedings of SALT IV",
  title =        "Umbrella's and Bathrooms",
  publisher =    "Cornell University",
  address =      "Cornell",
  pages =        "179--194",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InProceedings{Muskens:1994:CDR,
  author =       "R. A. Muskens",
  editor =       "P. Dekker and M. Stokhof",
  booktitle =    "Proceedings of the Ninth Amsterdam Colloquium",
  title =        "A {Compositional Discourse Representation}
                 {Theory}",
  publisher =    "ILLC, University of Amsterdam",
  address =      "Amsterdam",
  pages =        "467--486",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InProceedings{Muskens:1994:CGD,
  author =       "R. A. Muskens",
  booktitle =    "Proceedings of COLING 94: the 16th International
                 Conference on Computational Linguistics, August 5--9,
                 1994, Kyoto, Japan",
  title =        "Categorial {Grammar} and {Discourse Representation}
                 {Theory}",
  publisher =    "ICCL",
  address =      "Kyoto, Japan",
  pages =        "508--514",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Article{Krahmer:1995:NDD,
  author =       "E. Krahmer and R. A. Muskens",
  title =        "Negation and {Disjunction} in {Discourse}
                 {Representation Theory}",
  journal =      "Journal of Semantics",
  volume =       "12",
  pages =        "357--376",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Book{Muskens:1995:MP,
  author =       "R. A. Muskens",
  title =        "Meaning and {Partiality}",
  publisher =    "CSLI",
  address =      "Stanford",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1995:OIU,
  author =       "R. A. Muskens",
  editor =       "J. Groenendijk",
  booktitle =    "Ellipsis, Underspecification, Events and More in
                 Dynamic Semantics",
  title =        "Order-{Independence} and {Underspecification}",
  publisher =    "{DYANA Deliverable} R.2.2.{C}",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  note =         "{\tt
                 ftp://illc-sun.illc.uva.nl/pub/dyana/R2.2.C/Muskens.ps}",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1995:TLC,
  author =       "R. A. Muskens",
  editor =       "U. Egli and E. P. Pause and C. Schwarze and A. Von
                 Stechow and G. Wienold",
  booktitle =    "Lexical Knowledge in the Organization of Language",
  title =        "Tense and the {Logic} of {Change}",
  publisher =    "John Benjamins",
  address =      "Amsterdam",
  pages =        "147--183",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Article{Muskens:1996:CMS,
  author =       "R. A. Muskens",
  title =        "Combining {Montague Semantics} and {Discourse}
                 {Representation}",
  journal =      "Linguistics and Philosophy",
  volume =       "19",
  pages =        "143--186",
  year =         "1996",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@InCollection{Muskens:1997:D,
  author =       "R. A. Muskens and J. F. A. K. {Van Benthem} and A.
                 Visser",
  editor =       "J. F. A. K. {Van Benthem} and A. {Ter Meulen}",
  booktitle =    "Handbook of Logic and Language",
  title =        "Dynamics",
  publisher =    pub-ELS,
  address =      pub-ELS:adr,
  pages =        "587--648",
  year =         "1997",
  bibdate =      "Fri Feb 21 19:29:13 MST 1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@TechReport{Muskens:1997:PSC,
  author =       "R. A. Muskens",
  title =        "Program {Semantics} and {Classical Logic}",
  type =         "CLAUS Report",
  number =       "86",
  institution =  "Universit{\"{a}}t des Saarlandes",
  month =        jan,
  year =         "1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  note =         "{\tt http://coli.uni-sb.de/claus/claus86.html}",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

%%----------------------------------------------------------------------
%% Cross-referenced entries must come last:

@Proceedings{Bunt:1994:PFI,
  editor =       "H. Bunt and R. A. Muskens and G. Rentier",
  title =        "Proceedings of the {First International Workshop}
                 on {Computational Semantics}",
  publisher =    "ITK, Tilburg University",
  address =      "Tilburg",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}

@Proceedings{Bunt:1997:PSI,
  editor =       "H. Bunt and L. Kievit and R. A. Muskens and M.
                 Verlinden",
  title =        "Proceedings of the {Second International Workshop}
                 on {Computational Semantics}",
  publisher =    "Tilburg University",
  address =      "Tilburg",
  year =         "1997",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/m/muskens-reinhard-a.bib",
  bibdate =      "Fri Feb 21 19:34:21 1997",
}