Maarten de Rijke. 2001. Lightweight entailment checking for computational semantics (0)

by Christof Monz
Venue:In Proc. of the Third Workshop on Inference in Computational Semantics (IcoS-3