Integrating tps and Ωmega (1999)

by Christoph Benzmüller, Matthew Bishop, Volker Sorge
Venue:Journal of Universal Computer Science