Pascal Fontaine. Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Pascal Fontaine.
CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716,
Springer, 2019, Lecture Notes in Artificial Intelligence.
⟨hal-02194007⟩ 