MaghrabiG92'

@inproceedings{DBLP:conf/acm/MaghrabiG92,
  author    = {Talal Maghrabi and
               Forouzan Golshani},
  title     = {Automatic Program Generation Using Sequent Calculus},
  booktitle = {ACM Conference on Computer Science},
  year      = {1992},
  pages     = {73-82},
  ee        = {http://doi.acm.org/10.1145/131214.131224},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}