Knowledge Processing and Information Systems
A Tutorial on Hybrid Answer Set Solving with clingo

@inproceedings{DBLP:conf/rweb/KaminskiSW17,
  title = {A Tutorial on Hybrid Answer Set Solving with clingo},
  author = {Kaminski, Roland and Schaub, Torsten and Wanko, Philipp},
  booktitle = {Reasoning Web},
  pages = {167--203},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {10370},
  year = {2017}
}