%0 Conference Paper %1 conf/cade/MinkerR88 %A Minker, Jack %A Rajasekar, Arcot %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 278-293 %T Procedural Interpretation of Non-Horn Logic Programs. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#MinkerR88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/MinkerR88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Minker, Jack and Rajasekar, Arcot}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d03dbd106a6d074a445a5e4fff2ac4f9/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012837}, interhash = {d3e279e86929ed0ad2e6fcfedb0064ee}, intrahash = {d03dbd106a6d074a445a5e4fff2ac4f9}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {278-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:47.000+0200}, title = {Procedural Interpretation of Non-Horn Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#MinkerR88}, volume = 310, year = 1988 }