R. Bignall, M. Spinks, "Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality," Multiple-Valued Logic, IEEE International Symposium on, pp. 102, The 28th International Symposium on Multiple-Valued Logic, 1998.

@article{ 10.1109/ISMVL.1998.679313,
author = {R. Bignall and M. Spinks},
title = {Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {1998},
issn = {0195-623X},
pages = {102},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.1998.679313},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality
SN - 0195-623X
SP
EP
A1 - R. Bignall,
A1 - M. Spinks,
PY - 1998
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -