Improve the first four sections
Fix overfull hboxes
Improve acknowledgements
Write definition of structural claus form transformation
Rename a theorem
Remove "O" from command names denoting functions that use optimized projections
Simplify commands
Simplify commands and text
Add definitional projection
Add proper projection and DCERes normal form
Include missing citations
Add financial support from FWF
Improve newcommand for DCERes
Remove unused bibliography file
Fix spelling and improve the introduction
Add section with combined approach
Move bibliography file