%0 Conference Paper %1 conf/cade/RichardsKSW94 %A Richards, Bradley L. %A Kraan, Ina %A Smaill, Alan %A Wiggins, Geraint A. %B CADE %D 1994 %E Bundy, Alan %I Springer %K dblp %P 826-830 %T Mollusc: A General Proof-Development Shell for Sequent-Based Logics. %U http://dblp.uni-trier.de/db/conf/cade/cade94.html#RichardsKSW94 %V 814 %@ 3-540-58156-1

@inproceedings{conf/cade/RichardsKSW94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Richards, Bradley L. and Kraan, Ina and Smaill, Alan and Wiggins, Geraint A.}, biburl = {https://www.bibsonomy.org/bibtex/211700dc823f4042925a4c5a0e3e62709/dblp}, booktitle = {CADE}, crossref = {conf/cade/1994}, editor = {Bundy, Alan}, ee = {https://doi.org/10.1007/3-540-58156-1_69}, interhash = {404655cc687d01355bfbd5fdeb023756}, intrahash = {11700dc823f4042925a4c5a0e3e62709}, isbn = {3-540-58156-1}, keywords = {dblp}, pages = {826-830}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:43.000+0200}, title = {Mollusc: A General Proof-Development Shell for Sequent-Based Logics.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade94.html#RichardsKSW94}, volume = 814, year = 1994 }