To drive or not to drive: A logical and computational analysis of European transport regulations

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández Duque, Mireia González Bedmar, Joost J. Joosten. To drive or not to drive: A logical and computational analysis of European transport regulations. Inf. Comput., 280:104636, 2021. [doi]

Abstract

Abstract is missing.