Olga Shumsky

New methods in finite first-order model search

Olga Shumsky, 1996 .

Developing a Framework for Simulation, Verification and Testing of SDL Specifications

Lawrence J. Henschen, Olga Shumsky, 2000 .

System Description: IVY

William McCune, Olga Shumsky, 2000, CADE.

Ivy: a preprocessor and proof checker for first-order logic

William McCune, Olga Shumsky, W. McCune, 2000 .

Direct finite first-order model generation with negative constraint propagation heuristic

William McCune, Ralph W. Wilkerson, Olga Shumsky, 1997, SAC '97.

Using WordNet to Disambiguate Word Senses

Mehmet Sayal, Ying Liu, Olga Shumsky, 2004 .