@inproceedings{DBLP:conf/issac/Weil94,
  author    = {Jacques-Arthur Weil},
  title     = {The Use of the Special Semi-Groups for Solving Differential
               Equations},
  booktitle = {ISSAC},
  year      = {1994},
  pages     = {341-347},
  ee        = {http://doi.acm.org/10.1145/190347.190437},
  crossref  = {DBLP:conf/issac/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issac/1994,
  editor    = {Malcolm A. H. MacCallum},
  title     = {Proceedings of the International Symposium on Symbolic and
               Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22,
               1994},
  booktitle = {ISSAC},
  publisher = {ACM},
  year      = {1994},
  isbn      = {0-89791-638-7},
  ee        = {http://dl.acm.org/citation.cfm?id=190347},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}