Authors: BALKE AC CARTER J HAVEMAN J

Citation: Ac. Balke et al., EXPERIENCE USING FORMAL METHODS IN HIGH-ENERGY PHYSICS, International journal of modern physics C, 6(4), 1995, pp. 469-473