Lightweight string reasoning in model finding | Publicación