Knowledge Processing and Information Systems
Answer Set Programming Made Easy

@inproceedings{DBLP:conf/birthday/FandinnoM0S23,
  title = {Answer Set Programming Made Easy},
  author = {Fandinno, Jorge and Mishra, Seemran and Romero, Javier and Schaub, Torsten},
  booktitle = {Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems},
  pages = {133--150},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {13160},
  year = {2023}
}