%0 Conference Paper %1 conf/fsttcs/YouYG97 %A You, Jia-Huai %A Yuan, Li-Yan %A Goebel, Randy %B FSTTCS %D 1997 %E Ramesh, S. %E Sivakumar, G. %I Springer %K dblp %P 138-152 %T An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#YouYG97 %V 1346 %@ 3-540-63876-8

@inproceedings{conf/fsttcs/YouYG97, added-at = {2017-05-23T00:00:00.000+0200}, author = {You, Jia-Huai and Yuan, Li-Yan and Goebel, Randy}, biburl = {https://www.bibsonomy.org/bibtex/27af1cbe03f95851deaf12c4679f3e967/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1997}, editor = {Ramesh, S. and Sivakumar, G.}, ee = {https://doi.org/10.1007/BFb0058028}, interhash = {01539d678507db3bd5ff7b121b506506}, intrahash = {7af1cbe03f95851deaf12c4679f3e967}, isbn = {3-540-63876-8}, keywords = {dblp}, pages = {138-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:41.000+0200}, title = {An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#YouYG97}, volume = 1346, year = 1997 }