"Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held ..."

Didier Galmiche, Stephan Schulz, Roberto Sebastiani (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics