Verification, the Key to AI [2001]
incompleteideas.net