ManzoP95'

BibTeX

@inproceedings{DBLP:conf/aiia/ManzoP95,
  author    = {Mauro Di Manzo and
               Paolo Pecchiari},
  title     = {Composing decision procedures: the approach and a case study},
  booktitle = {AI*IA},
  year      = {1995},
  pages     = {175-186},
  crossref  = {DBLP:conf/aiia/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiia/1995,
  editor    = {Marco Gori and
               Giovanni Soda},
  title     = {Topics in Artificial Intelligence, 4th Congress of the Italian
               Association for Artificial Intelligence, AI*IA'95, Florence,
               Italy, October 11-13, 1995, Proceedings},
  booktitle = {AI*IA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {992},
  year      = {1995},
  isbn      = {3-540-60437-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}