#### DMCA

## A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning (2000)

by
Domenico Cantone
,
Calogero G. Zarba
,
Viale A. Doria

Citations: | 1 - 0 self |