A Logic Programming System for Evolving Programs with Temporal Operators

José Júlio Alferes, Alfredo Gabaldon, Nuno Lau, João Leite, Pedro Mariano,

URL	http://dx.doi.org/10.1007/978-3-642-04686-5_9
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	5816
ISBN	978-3-642-04685-8
URL	http://dx.doi.org/10.1007/978-3-642-04686-5_9
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	5816
ISBN	978-3-642-04685-8

Publication