@InProceedings{PSH17,
    Author       = "Pelletier, F.J. and Sutcliffe, G. and Hazen, A.P.",
    Year         = "2017",
    Title        = "{Automated Reasoning for the Dialetheic Logic RM3}",
    Editor       = "Rus, V. and Markov, Z.",
    BookTitle    = "{Proceedings of the 30th International FLAIRS Conference}",
    Place        = "Marco Island, USA",
    Pages        = "110-115",
    Comment      = "TPTPRef"
}