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