On an Efficient CAD Implementation of the Distance Term in Pelgrom's Mismatch Model | Publicación