Robert S. Boyer, J. Strother Moore. A computational logic handbook (2. ed.). Academic Press international series in formal methods, Academic Press, 1998.
@book{0098268,
title = {A computational logic handbook (2. ed.)},
author = {Robert S. Boyer and J. Strother Moore},
year = {1998},
tags = {logic},
researchr = {https://researchr.org/publication/0098268},
cites = {0},
citedby = {0},
series = {Academic Press international series in formal methods},
publisher = {Academic Press},
isbn = {978-0-12-122955-9},
}