@Article{Sut06,
    Author       = "Sutcliffe, G.",
    Year         = "2006",
    Title        = "{Semantic Derivation Verification: Techniques and Implementation}",
    Journal      = "International Journal on Artificial Intelligence Tools",
    Volume       = "15",
    Number       = "6",
    Pages        = "1053-1070",
    DOI          = "{10.1142/S0218213006003119}",
    Comment      = "TPTPCite"
}

% Other possible matches are:

@Article{Sut06-FLAIRS,
    Author       = "Sutcliffe, G.",
    Year         = "2006",
    Title        = "{Report on the 19th International FLAIRS Conference}",
    Journal      = "AI Magazine",
    Volume       = "27",
    Number       = "4",
    Pages        = "111-112",
    Comment      = ""
}

@Booklet{Sut06-CASC-J3,
    Author       = "Sutcliffe, G.",
    Year         = "2006",
    Title        = "{Proceedings of the 3rd IJCAR ATP System Competition}",
    Address      = "Seattle, USA",
    Comment      = "TPTPCite"
}

@Article{Sut06-CASC,
    Author       = "Sutcliffe, G.",
    Year         = "2006",
    Title        = "{The CADE-20 Automated Theorem Proving Competition}",
    Journal      = "AI Communications",
    Volume       = "19",
    Number       = "2",
    Pages        = "173-181",
    Comment      = "TPTPData,TPTPCite"
}