@inproceedings{cba08e608f8040cf882573a2b9610522,
title = "Progress in clasp Series 3",
author = "Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Javier Romero and Torsten Schaub",
note = "VK: Niemel{\"a}, I.; COIN; HIIT",
year = "2015",
language = "English",
isbn = "978-3-319-23263-8",
publisher = "Springer",
pages = "368--383",
booktitle = "13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015",
address = "Germany",
}