| |
| 1996 | ||
|---|---|---|
| 2 | Morten Biehl, Nils Klarlund, Theis Rauhe: Mona: Decidable Arithmetic in Practice. FTRTFT 1996: 459-462 | |
| 1 | Morten Biehl, Nils Klarlund, Theis Rauhe: Algorithms for Guided Tree Automata. Workshop on Implementing Automata 1996: 6-25 | |
| 1 | Nils Klarlund | [1] [2] |
| 2 | Theis Rauhe | [1] [2] |