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]

Authors

Ana de Almeida Borges

This author has not been identified. Look up 'Ana de Almeida Borges' in Google

Juan José Conejero Rodríguez

This author has not been identified. Look up 'Juan José Conejero Rodríguez' in Google

David Fernández Duque

This author has not been identified. Look up 'David Fernández Duque' in Google

Mireia González Bedmar

This author has not been identified. Look up 'Mireia González Bedmar' in Google

Joost J. Joosten

This author has not been identified. Look up 'Joost J. Joosten' in Google