@article{gebser+:asp-book,
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  date-added = {2020-11-25 22:43:41 -0800},
  date-modified = {2020-11-25 22:44:16 -0800},
  journal = {Synthesis lectures on artificial intelligence and machine learning},
  number = {3},
  pages = {1--238},
  publisher = {Morgan \& Claypool Publishers},
  title = {Answer set solving in practice},
  volume = {6},
  year = {2012},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAmcGFwZXJzL2dlYnNlcithbnN3ZXItc2V0LXNvbHZpbmctYS5wZGZPEQGkAAAAAAGkAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8fZ2Vic2VyK2Fuc3dlci1zZXQtc29sdmluZy1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACAEUvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmdlYnNlcithbnN3ZXItc2V0LXNvbHZpbmctYS5wZGYAAA4AQAAfAGcAZQBiAHMAZQByACsAYQBuAHMAdwBlAHIALQBzAGUAdAAtAHMAbwBsAHYAaQBuAGcALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBDVXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvZ2Vic2VyK2Fuc3dlci1zZXQtc29sdmluZy1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQATQAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAH1}
}