A formalization of Ashok Goel's SBF concept of function

More Info
expand_more

Files