A Logic Programming System for Evolving Programs with Temporal Operators.

Jos Jlio Alferes, Alfredo Gabaldon, Joo Leite

Browse the full EPIA paper archive.