Classical papers on computational logic | AMiner