@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, Institute of Electrical and Electronics Engineers",
address = "United States of America",
note = "28th IEEE International Symposium on Multiple-Valued Logic ; Conference date: 01-01-1998",
}