@techreport{aufsatz17081,
affiliation = {Grundlagen der Programmierung},
title = {Backward and Forward Bisimulation Minimisation of Tree Automata.},
journal = {Technical Report ISI-TR-633},
year = {2007},
peerreview = {Nein},
institution = {Information Sciences Institute, University of Southern California},
edition = {keiner},
author = {Högberg, J. and Maletti, A. and May, J.}
}