H. Linnestad
H. Linnestad.
Fatal Steps of Knuth-Bendix Completion.
Nordic Journal of Computing
, 3(2):131-143, Summer 1996.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database