SCL(EQ): SCL for First-Order Logic with Equality-MedSci.cn

SCL(EQ): SCL for First-Order Logic with Equality

Leidinger, H; Weidenbach, C

Leidinger, H (通讯作者)，Max Planck Inst Informat, Saarbrucken, Germany.;Leidinger, H (通讯作者)，Grad Sch Comp Sci, Saarbrucken, Germany.