A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains (1984)

by L Wos, S Winker, R Veroff, B Smith, L Henschen
Venue:Artificial Intelligence