Abstract
Haifani, F; Weidenbach, C
Weidenbach, C (通讯作者),Max Planck Inst Informat, Saarland Informat Campus, Saarbrucken, Germany.
AUTOMATED REASONING, IJCAR 2022, 2022; 13385 (): 208