@article{851006,
      note = {Includes author index.},
      author = {Seipel, Dietmar, and Hanus, Michael, and Abreu, Salvador,},
      url = {http://library.usi.edu/record/851006},
      title = {Declarative programming and knowledge management :  Conference on Declarative Programming, DECLARE 2017,  unifying INAP, WFLP, and WLP, Würzburg, Germany, September  19-22, 2017, Revised selected papers /. DECLARE  (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-00801-7},
      recid = {851006},
      pages = {1 online resource (x, 215 pages) :},
}