The following example illustrates how all these pieces are put together to generate answer proofs.
a program called Mosaic , developed by the National Center for Supercomputing Applications ( NCSA ) at the University of Illinois at Urbana -Champaign , is gaining popularity as an easy to use point and click interface for searching portions of the Internet.