Relating Resolution and Algebraic Completion for Horn Logic
Publisher: GMD
Published: 1985
Place of publication: Darmstadt
Language: eng
Number of pages: 37