Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Filip Bártek, Martin Suda
Journal title: Automated Deduction – CADE 28
Journal number: 28
Journal publisher: Online
Published year: 2021
Search
Associated projects
Organisations
- Not specified