Stefan Gerberding. DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. In ISMVL. pages 284-289, 1996. [doi]
@inproceedings{Gerberding96,
title = {DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics},
author = {Stefan Gerberding},
year = {1996},
url = {http://computer.org/proceedings/ismvl/7392/73920284abs.htm},
tags = {logic},
researchr = {https://researchr.org/publication/Gerberding96},
cites = {0},
citedby = {0},
pages = {284-289},
booktitle = {ISMVL},
}