Inductive logic programming for discrete event systems | Publicación