===Technical Report===

[http://students.cs.byu.edu/~egm/pubs/tech-report/abstraction.pdf Pdf version]