In:
Workshop on Practical Aspects of Automated Reasoning (7. : 2020 : Online), PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020, [Aachen, Germany] : [RWTH Aachen], 2020, (2020), Seite 76-92
In:
year:2020
In:
pages:76-92
Language:
English
URL:
Volltext
(kostenfrei)