Closed davideziviani closed 8 years ago
Integrates Appendix A in paper I
Please do this kind of thing in a separate branch. It avoids all the merge commits.
Integrates Appendix A in paper I