alt-ergo-participation-to-the-smt-comp-2019.md 9.81 KB