%0 Conference Paper %1 conf/lopstr/Richardson98 %A Richardson, Julian %B LOPSTR %D 1998 %E Flener, Pierre %I Springer %K dblp %P 313-315 %T Abstract: Proof Planning with Program Schemas. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr98.html#Richardson98 %V 1559 %@ 3-540-65765-7

@inproceedings{conf/lopstr/Richardson98, added-at = {2017-05-17T00:00:00.000+0200}, author = {Richardson, Julian}, biburl = {https://www.bibsonomy.org/bibtex/226da48895f63cb8afb66d220d02b61d4/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1998}, editor = {Flener, Pierre}, ee = {https://doi.org/10.1007/3-540-48958-4_19}, interhash = {6b061fee3fdb4db650afa1e5fa157496}, intrahash = {26da48895f63cb8afb66d220d02b61d4}, isbn = {3-540-65765-7}, keywords = {dblp}, pages = {313-315}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:29.000+0200}, title = {Abstract: Proof Planning with Program Schemas.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr98.html#Richardson98}, volume = 1559, year = 1998 }