@inproceedings{f8f2559bc0dc4e8590f82afc67e3d12f,

title = "Multiple-Valued Logics for Theorem Proving in First order Logic with Equality",

author = "Bignall, {Robert J} and Matthew Spinks",

year = "1998",

language = "English",

isbn = "0-8186-8372-4",

pages = "102 -- 107",

booktitle = "Proceedings of The 28th ISMUL Symposium on Multiple-Valued Logic",

publisher = "IEEE Computer Society",

address = "United States of America",

note = "28th IEEE International Symposium on Multiple-Valued Logic ; Conference date: 01-01-1998",

}