BibTeX record conf/isaim/Truszczynski06

download as .bib file

@inproceedings{DBLP:conf/isaim/Truszczynski06,
  author       = {Mirek Truszczynski},
  title        = {Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006},
  year         = {2006},
  url          = {http://anytime.cs.umass.edu/aimath06/proceedings/S01d.pdf},
  timestamp    = {Tue, 08 Feb 2022 09:27:30 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Truszczynski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics