@Article{He01-JAR,
    Author       = "He, L.",
    Year         = "2001",
    Title        = "{I-SATCHMO: An Improvement of SATCHMO}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "27",
    Number       = "3",
    Pages        = "313-322",
    Comment      = "TPTPCite,TPTPRef"
}

@InProceedings{He01,
    Author       = "He, L.",
    Year         = "2001",
    Title        = "{UNSEARCHMO: Eliminating Redundant Search Space on
                    Backtracking for Forward Chaining Theorem Proving}",
    Editor       = "Nebel, B.",
    BookTitle    = "{Proceedings of the 17th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Seattle, USA",
    Pages        = "618-623",
    Publisher    = "Morgan Kaufmann",
    Comment      = "TPTPCite"
}