@PROCEEDINGS{ips2013,
  title = {Proceedings of the 5th Italian Workshop on Planning and Scheduling, IPS 2013},
  year = {2013},
  editor = {Cortellessa, G. and Gerevini, A. and Magazzeni, D. and Serina,  I.},
  url = {http://ips2013.istc.cnr.it/wp-content/uploads/2013/12/ips2013_proceedings.pdf}
}