@article{journals/jar/SchreyeMSB91,
  added-at = {2020-09-02T00:00:00.000+0200},
  author = {Schreye, Danny De and Martens, Bern and Sablon, Gunther and Bruynooghe, Maurice},
  biburl = {https://www.bibsonomy.org/bibtex/2a6a0b5faae1b97c7bd0d445da63221a7/dblp},
  ee = {https://doi.org/10.1007/BF00249018},
  interhash = {6a68dba8f4d7a20d911a9993c53d38af},
  intrahash = {a6a0b5faae1b97c7bd0d445da63221a7},
  journal = {J. Autom. Reason.},
  keywords = {dblp},
  number = 3,
  pages = {337-358},
  timestamp = {2020-09-09T13:34:28.000+0200},
  title = {Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar7.html#SchreyeMSB91},
  volume = 7,
  year = 1991
}

{"_id":"QbZHD23k3BGjitviv","bibbaseid":"schreye-martens-sablon-bruynooghe-compilingbottomupandmixedderivationsintotopdownexecutablelogicprograms-1991","authorIDs":[],"author_short":["Schreye, D. D.","Martens, B.","Sablon, G.","Bruynooghe, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Schreye"],"firstnames":["Danny","De"],"suffixes":[]},{"propositions":[],"lastnames":["Martens"],"firstnames":["Bern"],"suffixes":[]},{"propositions":[],"lastnames":["Sablon"],"firstnames":["Gunther"],"suffixes":[]},{"propositions":[],"lastnames":["Bruynooghe"],"firstnames":["Maurice"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a6a0b5faae1b97c7bd0d445da63221a7/dblp","ee":"https://doi.org/10.1007/BF00249018","interhash":"6a68dba8f4d7a20d911a9993c53d38af","intrahash":"a6a0b5faae1b97c7bd0d445da63221a7","journal":"J. Autom. Reason.","keywords":"dblp","number":"3","pages":"337-358","timestamp":"2020-09-09T13:34:28.000+0200","title":"Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.","url":"http://dblp.uni-trier.de/db/journals/jar/jar7.html#SchreyeMSB91","volume":"7","year":"1991","bibtex":"@article{journals/jar/SchreyeMSB91,\n added-at = {2020-09-02T00:00:00.000+0200},\n author = {Schreye, Danny De and Martens, Bern and Sablon, Gunther and Bruynooghe, Maurice},\n biburl = {https://www.bibsonomy.org/bibtex/2a6a0b5faae1b97c7bd0d445da63221a7/dblp},\n ee = {https://doi.org/10.1007/BF00249018},\n interhash = {6a68dba8f4d7a20d911a9993c53d38af},\n intrahash = {a6a0b5faae1b97c7bd0d445da63221a7},\n journal = {J. Autom. Reason.},\n keywords = {dblp},\n number = 3,\n pages = {337-358},\n timestamp = {2020-09-09T13:34:28.000+0200},\n title = {Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar7.html#SchreyeMSB91},\n volume = 7,\n year = 1991\n}\n\n","author_short":["Schreye, D. D.","Martens, B.","Sablon, G.","Bruynooghe, M."],"key":"journals/jar/SchreyeMSB91","id":"journals/jar/SchreyeMSB91","bibbaseid":"schreye-martens-sablon-bruynooghe-compilingbottomupandmixedderivationsintotopdownexecutablelogicprograms-1991","role":"author","urls":{"Link":"https://doi.org/10.1007/BF00249018","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar7.html#SchreyeMSB91"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Gunther?items=1000","creationDate":"2020-11-19T14:18:48.314Z","downloads":0,"keywords":["dblp"],"search_terms":["compiling","bottom","mixed","derivations","top","down","executable","logic","programs","schreye","martens","sablon","bruynooghe"],"title":"Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.","year":1991,"dataSources":["vx3tQbZepny2tNB7k"]}