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