The impossibility of an algorithm for the decision problem for finite models (1950)

by Boris A Trakhtenbrot
Venue:In Russian). Doklady Akademii Nauk SSSR, 70:569–572