Kristina Toutanova, Christopher D. Manning, Dan Flickinger, and Stephan Oepen 2005
In: Journal of Logic and Computation