APA (7th ed.) Citation

(1994). Mollusc, a general proof-development shell for sequent-based logics.

Chicago Style (17th ed.) Citation

Mollusc, a General Proof-development Shell for Sequent-based Logics. Edinburgh, 1994.

MLA (9th ed.) Citation

Mollusc, a General Proof-development Shell for Sequent-based Logics. 1994.

Warning: These citations may not always be 100% accurate.