@article{Valero161837,
   author = "S. Valero and E. Del Val and  J. Alemany and V. Botti",
   title = "{E}nhancing {S}mart-{H}ome {E}nvironments using {M}agentix2",
   journal = "Journal of Applied Logic",
   year = "2016"
}