Symbolic Model Checking of Infinite-State Systems Using Narrowing | Publicación