SHIP - A Logic-Based Language and Tool to Program Smart Environments<pre>@inproceedings{AH-15-a,
  author        = {Serge Autexier and Dieter Hutter},
  editor        = {Moreno Falaschi },
  booktitle     = {Post-Proceedings 25th International Conference on  Logic-Based Program Synthesis and Transformation
(LOPSTR 2015)},
  title         = {SHIP - A Logic-Based Language and Tool to Program Smart Environments},
  series        = {LNCS},
  publisher     = {Springer-Verlag},
  month         = {october},
  year          = {2015},
}
</pre>