@inproceedings{DBLP:conf/jelia/GebserJKST16,
  author = {Gebser, Martin and Janhunen, Tomi and Kaminski, Roland and Schaub, Torsten and Tasharrofi, Shahab},
  title = {Writing Declarative Specifications for Clauses},
  booktitle = {{JELIA}},
  series = {Lecture Notes in Computer Science},
  volume = {10021},
  pages = {256--271},
  year = {2016}
}