deduzione automatica; teorie dell'appartenenza

A contribution to the Automated Treatment of Membership Theories