correctness proof for alpha-beta algorithm

[namenobodywants at gmail.com]

On Monday, December 18, 2017 at 10:16:07 PM UTC-8, Terry Reedy wrote:

> Where or how have you looked so far?  How formal do you want?

i want full-on formal with lots of rigor and every possible detail spelled out; i've looked in a couple of books but my best lead so far is a paper by knuth called "an analysis of alpha-beta pruning" - what i need is along those lines but with just a few more of the details spelled out

peace
stm