Entries that should be reduced to 1 page

[ceilican]

Second-order lambda calculus (System F): Soloviev should make F with subtyping a separate entry.

Preferential Tableaux Calculi TP^T

[gisellemnr]

FILL: only three references are on the second page. It can probably fit in one page with some rephrasing and latex engineering.

Superposition: the calculus takes a lot of space. This can be improved.

The following entries have only references on the second page. It may be possible to reduce some of the to one page:

• lambda-bar calculus
• Cancellative Superposition
• LK\mu\mu
• Preferencial Tabelau Calculi
• Focused LK
• \lambda\Pi calculus modulo