DMCA

A ‘Natural Logic ’ inference system using normalization

by Anna Zamansky , Nissim Francez , Yoad Winter