@InProceedings{DeC79,
    Author       = "DeChampeaux, D.",
    Year         = "1979",
    Title        = "{Sub-problem Finder and Instance Checker: Two Co-operating
                    Preprocessors for Theorem Provers}",
    BookTitle    = "{Proceedings of the 6th International Joint Conference on
                    Artificial Intelligence}",
    Pages        = "191-196",
    Publisher    = "Morgan Kaufmann",
    Comment      = "TPTPRef"
}