Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen. Automated Reasoning for the Dialetheic Logic RM3. In Vasile Rus, Zdravko Markov, editors, Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. pages 110-115, AAAI Press, 2017. [doi]
Abstract is missing.