in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661
Volume: 348, Pages: 85-103 (19)
Conference
14Th International Workshop on Logical and Semantic Frameworks, with Applications (Lsfa) / 27Th International Conference on Automated Deduction (Cade), Date: AUG, 2019, Location: Natal, BRAZIL