Skip to content
changelog:

- compared results with eisner03
- moved proofs to appendix
- corrected typos, wording, etc.