On the Completeness of Selective Unification in Concolic Testing of Logic Programs | Publicación