Mona: Decidable Arithmetic in Practice. - Morten Biehl; Nils Klarlund; Theis Rauhe (FTRTFT, 1996)

Algorithms for Guided Tree Automata. - Morten Biehl; Nils Klarlund; Theis Rauhe (Workshop on Implementing Automata, 1996)