Analysis of formalisms. Deliverable ESPRIT project 8145 KACTUS D01a.1A. Bernaras, R. Ostermayer, A. Gittinger et al.|UvA-DARE (University of Amsterdam)|1994Cited by 0