Laihung, Jean G (1992) Application of a logical inference mechanism to queries of legal documents. Masters thesis, Concordia University.