%0 Thesis %1 phd/dnb/Bertling90 %A Bertling, Hubert %D 1990 %K dblp %P 1-87 %T Knuth-Bendix completion of Horn clause programs for restricted linear resolution and paramodulation.

@phdthesis{phd/dnb/Bertling90, added-at = {2021-07-17T00:00:00.000+0200}, author = {Bertling, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/2b8c0be03c4ee2578c3c718682f30db0d/dblp}, ee = {https://d-nb.info/910727031}, interhash = {d2b8e5beefb9c600d3a191c940371372}, intrahash = {b8c0be03c4ee2578c3c718682f30db0d}, keywords = {dblp}, pages = {1-87}, school = {Technical University of Dortmund, Germany}, timestamp = {2024-04-09T08:30:26.000+0200}, title = {Knuth-Bendix completion of Horn clause programs for restricted linear resolution and paramodulation.}, year = 1990 }