DBLP Record 'conf/lopstr/WigginsBKH91'

BibTeX

@inproceedings{DBLP:conf/lopstr/WigginsBKH91,
  author    = {Geraint A. Wiggins and
               Alan Bundy and
               Ina Kraan and
               Jane Hesketh},
  title     = {Synthesis and Transfomation of Logic Programs from Constructive,
               Inductive Proof},
  booktitle = {LOPSTR},
  year      = {1991},
  pages     = {27-45},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}