%0 Conference Paper %1 conf/lpnmr/DongL93 %A Dong, Fangqing %A Lakshmanan, Laks V. S. %B LPNMR %D 1993 %K dblp %P 437-456 %T Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#DongL93

@inproceedings{conf/lpnmr/DongL93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Dong, Fangqing and Lakshmanan, Laks V. S.}, biburl = {https://www.bibsonomy.org/bibtex/272f7f3f5db8d07e4c835b10cc9c7c526/dblp}, booktitle = {LPNMR}, date = {2002-01-03}, description = {dblp}, interhash = {bfe98ec037f7513aa9769eb8b90c682b}, intrahash = {72f7f3f5db8d07e4c835b10cc9c7c526}, keywords = {dblp}, pages = {437-456}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#DongL93}, year = 1993 }