Werner Dilger, Hans-Albert Schneider. ASSIP-T: A Theorem Proving Machine. In FGCS. pages 497-506, 1984.
@inproceedings{DilgerS84,
title = {ASSIP-T: A Theorem Proving Machine},
author = {Werner Dilger and Hans-Albert Schneider},
year = {1984},
researchr = {https://researchr.org/publication/DilgerS84},
cites = {0},
citedby = {0},
pages = {497-506},
booktitle = {FGCS},
}