Verifying an Applicative ATP Using Multiset Relations | Publicación