%0 Conference Paper %1 conf/jelia/HerreP92 %A Herre, Heinrich %A Pearce, David %B JELIA %D 1992 %E Pearce, David %E Wagner, Gerd %I Springer %K dblp %P 391-410 %T Disjunctive Logic Programming, Constructivity and Strong Negation. %U http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#HerreP92 %V 633 %@ 3-540-55887-X

@inproceedings{conf/jelia/HerreP92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Herre, Heinrich and Pearce, David}, biburl = {https://www.bibsonomy.org/bibtex/2b9da2bd37df5b257394df0e4c0962c87/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1992}, editor = {Pearce, David and Wagner, Gerd}, ee = {https://doi.org/10.1007/BFb0023440}, interhash = {1bdaeeac7235957978976c9812c6cf7d}, intrahash = {b9da2bd37df5b257394df0e4c0962c87}, isbn = {3-540-55887-X}, keywords = {dblp}, pages = {391-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:41:11.000+0100}, title = {Disjunctive Logic Programming, Constructivity and Strong Negation.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#HerreP92}, volume = 633, year = 1992 }