![]() | ![]() |
1996 | ||
---|---|---|
2 | Henrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285 | |
1 | Henrik Linnestad: Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing. Nord. J. Comput. 3(2): 131-143 (1996) |
1 | Olav Lysne | [2] |
2 | Christian Prehofer | [2] |