Measuring contradiction on A-IFS defined in finite universes | Publicación