BibTeX record conf/agp/ChitaroM93

download as .bib file

@inproceedings{DBLP:conf/agp/ChitaroM93,
  author       = {L. Chitaro and
                  Angelo Montanari},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {Reasoning about discrete processes in a logic programming framework},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {407--422},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ChitaroM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics