BibTeX record conf/fsttcs/YouYG97

• > Home > conf/fsttcs/YouYG97

@inproceedings{DBLP:conf/fsttcs/YouYG97,
  author       = {Jia{-}Huai You and
                  Li{-}Yan Yuan and
                  Randy Goebel},
  editor       = {S. Ramesh and
                  G. Sivakumar},
  title        = {An Abductive Semantics for Disjunctive Logic Programs and Its Proof
                  Procedure},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1346},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0058028},
  doi          = {10.1007/BFB0058028},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/YouYG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}