The power of combining resonance with heat (1996)

by L Wos
Venue:J. Automated Reasoning