%0 Conference Paper %1 conf/tapsoft/BarbutiMPT87 %A Barbuti, Roberto %A Mancarella, Paolo %A Pedreschi, Dino %A Turini, Franco %B TAPSOFT, Vol.2 %D 1987 %E Ehrig, Hartmut %E Kowalski, Robert A. %E Levi, Giorgio %E Montanari, Ugo %I Springer %K dblp %P 96-110 %T Intensional Negation of Logic Programs: Examples and Implementation Techniques. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-2.html#BarbutiMPT87 %V 250 %@ 3-540-17611-X

@inproceedings{conf/tapsoft/BarbutiMPT87, added-at = {2022-01-03T00:00:00.000+0100}, author = {Barbuti, Roberto and Mancarella, Paolo and Pedreschi, Dino and Turini, Franco}, biburl = {https://www.bibsonomy.org/bibtex/2389868bec95d2e96cd3876082fbcb20d/dblp}, booktitle = {TAPSOFT, Vol.2}, crossref = {conf/tapsoft/1987-2}, editor = {Ehrig, Hartmut and Kowalski, Robert A. and Levi, Giorgio and Montanari, Ugo}, ee = {https://doi.org/10.1007/BFb0014975}, interhash = {c041c0acd7051c59f4dd90724c316d2c}, intrahash = {389868bec95d2e96cd3876082fbcb20d}, isbn = {3-540-17611-X}, keywords = {dblp}, pages = {96-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:19:27.000+0200}, title = {Intensional Negation of Logic Programs: Examples and Implementation Techniques.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-2.html#BarbutiMPT87}, volume = 250, year = 1987 }