A Methodology for Constructing Logic Programs. Alexandre, F. & Bsaïes, K. Fundam. Informaticae, 29(3):203-223, 1997.
Link
Paper bibtex @article{journals/fuin/AlexandreB97,
added-at = {2020-09-18T00:00:00.000+0200},
author = {Alexandre, Francis and Bsaïes, Khaled},
biburl = {https://www.bibsonomy.org/bibtex/2e9fea69bae0182461dff9b4bac6d7698/dblp},
ee = {https://doi.org/10.3233/FI-1997-29301},
interhash = {bbf96998a74214a10f40d371da2d92a9},
intrahash = {e9fea69bae0182461dff9b4bac6d7698},
journal = {Fundam. Informaticae},
keywords = {dblp},
number = 3,
pages = {203-223},
timestamp = {2020-09-19T11:38:50.000+0200},
title = {A Methodology for Constructing Logic Programs.},
url = {http://dblp.uni-trier.de/db/journals/fuin/fuin29.html#AlexandreB97},
volume = 29,
year = 1997
}
Downloads: 0
{"_id":"E4YBArwen2SAxQ5Y3","bibbaseid":"alexandre-bsaes-amethodologyforconstructinglogicprograms-1997","author_short":["Alexandre, F.","Bsaïes, K."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Alexandre"],"firstnames":["Francis"],"suffixes":[]},{"propositions":[],"lastnames":["Bsaïes"],"firstnames":["Khaled"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e9fea69bae0182461dff9b4bac6d7698/dblp","ee":"https://doi.org/10.3233/FI-1997-29301","interhash":"bbf96998a74214a10f40d371da2d92a9","intrahash":"e9fea69bae0182461dff9b4bac6d7698","journal":"Fundam. Informaticae","keywords":"dblp","number":"3","pages":"203-223","timestamp":"2020-09-19T11:38:50.000+0200","title":"A Methodology for Constructing Logic Programs.","url":"http://dblp.uni-trier.de/db/journals/fuin/fuin29.html#AlexandreB97","volume":"29","year":"1997","bibtex":"@article{journals/fuin/AlexandreB97,\n added-at = {2020-09-18T00:00:00.000+0200},\n author = {Alexandre, Francis and Bsaïes, Khaled},\n biburl = {https://www.bibsonomy.org/bibtex/2e9fea69bae0182461dff9b4bac6d7698/dblp},\n ee = {https://doi.org/10.3233/FI-1997-29301},\n interhash = {bbf96998a74214a10f40d371da2d92a9},\n intrahash = {e9fea69bae0182461dff9b4bac6d7698},\n journal = {Fundam. Informaticae},\n keywords = {dblp},\n number = 3,\n pages = {203-223},\n timestamp = {2020-09-19T11:38:50.000+0200},\n title = {A Methodology for Constructing Logic Programs.},\n url = {http://dblp.uni-trier.de/db/journals/fuin/fuin29.html#AlexandreB97},\n volume = 29,\n year = 1997\n}\n\n","author_short":["Alexandre, F.","Bsaïes, K."],"key":"journals/fuin/AlexandreB97","id":"journals/fuin/AlexandreB97","bibbaseid":"alexandre-bsaes-amethodologyforconstructinglogicprograms-1997","role":"author","urls":{"Link":"https://doi.org/10.3233/FI-1997-29301","Paper":"http://dblp.uni-trier.de/db/journals/fuin/fuin29.html#AlexandreB97"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/khaled?items=1000","dataSources":["MAPJNxQojwdH4Jit2"],"keywords":["dblp"],"search_terms":["methodology","constructing","logic","programs","alexandre","bsaïes"],"title":"A Methodology for Constructing Logic Programs.","year":1997}