Rigid First-Order Hybrid Logic | Publicación