BibTeX record conf/birthday/Lee12

download as .bib file

@inproceedings{DBLP:conf/birthday/Lee12,
  author    = {Joohyung Lee},
  title     = {Reformulating Action Language {\textdollar}{\textbackslash}mathcal\{C\}{\textdollar}
               + in Answer Set Programming},
  booktitle = {Correct Reasoning},
  series    = {Lecture Notes in Computer Science},
  volume    = {7265},
  pages     = {405--421},
  publisher = {Springer},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics