Knuth-Bendix completion of Horn clause programs for restricted linear resolution and paramodulation
By: Hubert Bertling
Contributors: Universität Dortmund
Published: 1990
Language: eng
Notes: Thesis (doctoral)--Universität Dortmund, 1990.