| |
| 1999 | ||
|---|---|---|
| 2 | Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: Semantic Matching for Left-Linear Convergent Rewrite Systems Journal of Functional and Logic Programming 1999(11): (1999) | |
| 1995 | ||
| 1 | Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: A New Strategy for Semantic Matching PLILP 1995: 81-96 | |
| 1 | Robert Giegerich | [1] [2] |
| 2 | Enno Ohlebusch | [1] [2] |
| 3 | Stephan Thesing | [1] [2] |