Login / Signup

A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.

Bernhard BeckertUlrike Hartmer
Published in: TABLEAUX (1998)
Keyphrases