Practical Partition-Based Theorem Proving for Large Knowledge Bases. - Bill MacCartney; Sheila A. McIlraith; Eyal Amir; Tomás E. Uribe (IJCAI, 2003)

Generating Typed Dependency Parses from Phrase Structure Parses. - Marie-Catherine de Marneffe; Bill MacCartney; Christopher D. Manning (LREC, 2006)

Learning to recognize features of valid textual entailments. - Bill MacCartney; Trond Grenager; Marie-Catherine de Marneffe; Daniel M. Cer; Christopher D. Manning (HLT-NAACL, 2006)

Robust Graph Alignment Methods for Textual Inference and Machine Reading. - Marie-Catherine de Marneffe; Trond Grenager; Bill MacCartney; Daniel M. Cer; Daniel Ramage; Chloé Kiddon; Christopher D. Manning (AAAI Spring Symposium: Machine Reading, 2007)

Learning Alignments and Leveraging Natural Logic. - Nathanael Chambers; Daniel M. Cer; Trond Grenager; David Hall 006; Chloé Kiddon; Bill MacCartney; Marie-Catherine de Marneffe; Daniel Ramage; Eric Yeh; Christopher D. Manning (ACL-PASCAL@ACL, 2007)

Natural Logic for Textual Inference. - Bill MacCartney; Christopher D. Manning (ACL-PASCAL@ACL, 2007)

Modeling Semantic Containment and Exclusion in Natural Language Inference. - Bill MacCartney; Christopher D. Manning (COLING, 2008)

A Phrase-Based Alignment Model for Natural Language Inference. - Bill MacCartney; Michel Galley; Christopher D. Manning (EMNLP, 2008)

Deciding Entailment and Contradiction with Stochastic and Edit Distance-based Alignment. - Sebastian Padó; Marie-Catherine de Marneffe; Bill MacCartney; Anna N. Rafferty; Eric Yeh; Christopher D. Manning (TAC, 2008)

An extended model of natural logic. - Bill MacCartney; Christopher D. Manning (IWCS, 2009)

Natural language inference. - Bill MacCartney (2009)

On the Importance of Text Analysis for Stock Price Prediction. - Heeyoung Lee; Mihai Surdeanu; Bill MacCartney; Dan Jurafsky (LREC, 2014)