Hans Jürgen Ohlbach, Manfred Schmidt-Schauß. Bericht zur 9th Conference on Automated Deduction. KI, 2(4):18-19, 1988.
@article{OhlbachS88,
title = {Bericht zur 9th Conference on Automated Deduction},
author = {Hans Jürgen Ohlbach and Manfred Schmidt-Schauß},
year = {1988},
researchr = {https://researchr.org/publication/OhlbachS88},
cites = {0},
citedby = {0},
journal = {KI},
volume = {2},
number = {4},
pages = {18-19},
}