Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Nigam, Vivek
Reis, Giselle
Rahmouni, Samar
and
Ruess, Harald
2021.
Automated Deduction – CADE 28.
Vol. 12699,
Issue. ,
p.
234.