@article{DBLP:journals/jpdc/BobdaYGIS18,
  title = {High-level synthesis of on-chip multiprocessor architectures based on answer set programming},
  author = {Bobda, Christophe and Yonga, Franck and Gebser, Martin and Ishebabi, Harold and Schaub, Torsten},
  journal = {J. Parallel Distrib. Comput.},
  pages = {161--179},
  volume = {117},
  year = {2018}
}