%0 Conference Paper %1 conf/lopstr/WigginsBKH91 %A Wiggins, Geraint A. %A Bundy, Alan %A Kraan, Ina %A Hesketh, Jane %B LOPSTR %D 1991 %E Clement, Timothy Paul %E Lau, Kung-Kiu %I Springer %K dblp %P 27-45 %T Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr91.html#WigginsBKH91 %@ 0-387-19742-7

@inproceedings{conf/lopstr/WigginsBKH91, added-at = {2019-06-21T00:00:00.000+0200}, author = {Wiggins, Geraint A. and Bundy, Alan and Kraan, Ina and Hesketh, Jane}, biburl = {https://www.bibsonomy.org/bibtex/225563ad00f8b634f21f193d39ef5f588/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1991}, editor = {Clement, Timothy Paul and Lau, Kung-Kiu}, ee = {https://doi.org/10.1007/978-1-4471-3494-7_3}, interhash = {4c6b583404c8ffd3da96530ca22d0521}, intrahash = {25563ad00f8b634f21f193d39ef5f588}, isbn = {0-387-19742-7}, keywords = {dblp}, pages = {27-45}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:44.000+0200}, title = {Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr91.html#WigginsBKH91}, year = 1991 }