@Article{SM96,
    Author       = "Sutcliffe, G. and Melville, S.",
    Year         = "1996",
    Title        = "{The Practice of Clausification in Automatic Theorem
                    Proving}",
    Journal      = "South African Computer Journal",
    Volume       = "18",
    Pages        = "57-68",
    Comment      = "TPTPRef,TPTPCite"
}