The power of combining reasonance with heat (1996)

by L Wos
Venue:J. Automated Reasoning