These materials are the intellectual property of the author. All rights reserved.
Reuse of these materials for educational purposes is generally allowed. Please contact the author
hamlet@cs.utah.edu
to determine conditions of reuse.