Home
News
Links
Home
Scientific Axes
Members
Publications
Software
Collaborations
Activity Report
Seminars
Positions
Reference Details
Belleann\ée, C (1990), "Improving Deduction in a Sequent Calculus",
proceedings of the 8th biennial conference of the CSCSI
: 220--226.
