Redirecting to ICAI 2012 publication of Machine Learning with Templates