Didier Galmiche, Stephan Schulz, Roberto Sebastiani. 9th International Joint Conference on Automated Reasoning , IJCAR 2018.
9th International Joint Conference on Automated Reasoning IJCAR 2018, Oxford, United Kingdom. 10900, 2018, Lecture Notes in Artificial Intelligence.
⟨hal-02993251⟩