Many-Sorted Logic | Publicación