Fix typo
Fix "Prop." and "Algo.".
Fix a preposition
Merge remote-tracking branch 'bruno/LUnivPaper'
PCC: proof as tree/proof as DAG
PCC: add slide.tex (oups)
Merge branch 'develop' of https://github.com/Jogo27/ResK-GSoC into LUnivPaper
Make it clearer what happens when an active literal is not valent
Make the example's description more detailed
Move example to a better location
Make the introduction more focused on the resolution calculus and less focused on automated deduction tools
Improve explanation of LowerUnits, trying to explain better the intuitions behind the concepts
Improve section about LowerUnivalents
Remove "here" from abstract
Fix overfull hbox
Simplify and shorten paragraph
Improve section on combining LUniv with RPI
Improve Experiments section
Improve captions of subfigures
Merge remote-tracking branch 'bruno/LUnivPaper'