@Article{Sti86-JAR,
    Author       = "Stickel, M.E.",
    Year         = "1986",
    Title        = "{Schubert's Steamroller Problem: Formulations and
                    Solutions}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "2",
    Number       = "1",
    Pages        = "89-101",
    Comment      = "TPTPRef, general reasoning"
}

@InCollection{Sti86-FAI,
    Author       = "Stickel, M.E.",
    Year         = "1986",
    Title        = "{An Introduction to Automated Reasoning}",
    Editor       = "Bibel W. and Jorrand Ph.",
    BookTitle    = "{Fundamentals of Artificial Intelligence}",
    Series       = "Lecture Notes in Computer Science",
    Number       = "232",
    Pages        = "75-131",
    Publisher    = "Springer-Verlag",
    Comment      = "general reasoning"
}

@InProceedings{Sti86-CADE-8,
    Author       = "Stickel, M.E.",
    Year         = "1986",
    Title        = "{A Prolog Technology Theorem Prover: Implementation by an
                    Extended Prolog Compiler}",
    Editor       = "Siekmann J.H.",
    BookTitle    = "{Proceedings of the 8th International Conference on
                    Automated Deduction}",
    Place        = "Oxford, United Kingdom",
    Series       = "Lecture Notes in Computer Science",
    Number       = "230",
    Pages        = "573-587",
    Publisher    = "Springer-Verlag",
    Comment      = "linear systems/logic programming"
}