@InCollection{ICO92,
    Author       = "ICOT",
    Year         = "1992",
    Title        = "{Model Generation Theorem Prover, MGTP}",
    BookTitle    = "{International Conference on Fifth Generation Computer Systems,
                    Demonstrations}",
    Pages        = "63-74",
    Comment      = "TPTPRef"
}