Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, Elsevier, 2014.
@book{hhl-9,
title = {Computational Logic},
year = {2014},
researchr = {https://researchr.org/publication/hhl-9},
cites = {0},
citedby = {0},
editor = {Jörg H. Siekmann},
volume = {9},
series = {Handbook of the History of Logic},
publisher = {Elsevier},
isbn = {978-0-444-51624-4},
}