%0 Conference Paper %1 conf/iski/Bry90 %A Bry, François %B IS/KI %D 1990 %E Karagiannis, Dimitris %I Springer %K dblp %P 30-46 %T Negation in Logic Programming: A Formalization in Constructive Logic. %U http://dblp.uni-trier.de/db/conf/iski/iski90.html#Bry90 %V 474 %@ 0-387-53557-8

@inproceedings{conf/iski/Bry90, added-at = {2020-09-05T00:00:00.000+0200}, author = {Bry, François}, biburl = {https://www.bibsonomy.org/bibtex/2b54b614c0ae0beea331749e59d988b1a/dblp}, booktitle = {IS/KI}, crossref = {conf/iski/1990}, editor = {Karagiannis, Dimitris}, ee = {https://doi.org/10.1007/3-540-53557-8_20}, interhash = {4a85f08bfac04a9700eff3ddad28bde2}, intrahash = {b54b614c0ae0beea331749e59d988b1a}, isbn = {0-387-53557-8}, keywords = {dblp}, pages = {30-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:04:41.000+0200}, title = {Negation in Logic Programming: A Formalization in Constructive Logic.}, url = {http://dblp.uni-trier.de/db/conf/iski/iski90.html#Bry90}, volume = 474, year = 1990 }