You can buy
Daniel Miranker's Ph. D. thesis on Amazon for a discussion of TREAT. LEAPS was Don Batory's work; one reference is
here but you really have to read a lot of papers to get enough information about it, because all of that group's writing is very self-referential and insular.
[ September 04, 2003: Message edited by: Ernest Friedman-Hill ]