![](/img/cover-not-exists.png)
Horn equational theories and paramodulation
Ulrich Furbach, Steffen Hölldobler, Joachim SchreiberVolume:
5
Language:
english
Pages:
29
DOI:
10.1007/bf00248322
Date:
September, 1989
File:
PDF, 1.50 MB
english, 1989