BibTeX record conf/amai/CenzerRV00

download as .bib file

@inproceedings{DBLP:conf/amai/CenzerRV00,
  author       = {Douglas A. Cenzer and
                  Jeffrey B. Remmel and
                  Amy Vanderbilt},
  title        = {Characterizing the Set of Extensions of a Nonmonotonic Rule System
                  with Levels},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000},
  year         = {2000},
  url          = {http://rutcor.rutgers.edu/\%7Eamai/aimath00/regular/cenzer\_et\_al-old.ps},
  timestamp    = {Tue, 08 Feb 2022 09:27:28 +0100},
  biburl       = {https://dblp.org/rec/conf/amai/CenzerRV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics