Time in automated legal reasoning | Publicación