this page will have some links to external related research and software
[ Home | Publications | Software | Links ]
fp@cs.cmu.edu http://www.cs.cmu.edu/~triple