Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings Fontaine Pascal Heftet / 2019 / Engelsk
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings Fontaine Pascal Heftet / 2013 / Engelsk