%0 Conference Paper %1 conf/disco/Walsh93 %A Walsh, Toby %B DISCO %D 1993 %E Miola, Alfonso %I Springer %K dblp %P 379-383 %T General Purpose Proof Plans. %U http://dblp.uni-trier.de/db/conf/disco/disco1993.html#Walsh93 %V 722 %@ 3-540-57235-X

@inproceedings{conf/disco/Walsh93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/273467242ba3d4b02b8ec9163d2f06aa0/dblp}, booktitle = {DISCO}, crossref = {conf/disco/1993}, editor = {Miola, Alfonso}, ee = {https://doi.org/10.1007/BFb0013194}, interhash = {1f8a708135fdc4e8169d681b0d891cf3}, intrahash = {73467242ba3d4b02b8ec9163d2f06aa0}, isbn = {3-540-57235-X}, keywords = {dblp}, pages = {379-383}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:07:41.000+0200}, title = {General Purpose Proof Plans.}, url = {http://dblp.uni-trier.de/db/conf/disco/disco1993.html#Walsh93}, volume = 722, year = 1993 }