The defining power of stratified and hierarchical logic programs. Jäger, G. & Stärk, R. F. Journal of Logic Programming, 15(1–2):55–77, 1993. Paper bibtex @Article{js93,
Author = {Gerhard J{\"a}ger and Robert F. St{\"a}rk},
Title = {The defining power of stratified and hierarchical
logic programs},
Journal = {Journal of Logic Programming},
Volume = {15},
Number = {1{--}2},
Pages = {55{--}77},
url = {1993/js93.pdf},
year = 1993
}
Downloads: 0
{"_id":"2JLZTJX4XfHpmSyJs","bibbaseid":"jger-strk-thedefiningpowerofstratifiedandhierarchicallogicprograms-1993","authorIDs":[],"author_short":["Jäger, G.","Stärk, R. F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]},{"firstnames":["Robert","F."],"propositions":[],"lastnames":["Stärk"],"suffixes":[]}],"title":"The defining power of stratified and hierarchical logic programs","journal":"Journal of Logic Programming","volume":"15","number":"1–2","pages":"55–77","url":"1993/js93.pdf","year":"1993","bibtex":"@Article{js93,\n Author = {Gerhard J{\\\"a}ger and Robert F. St{\\\"a}rk},\n Title = {The defining power of stratified and hierarchical\n logic programs},\n Journal = {Journal of Logic Programming},\n Volume = {15},\n Number = {1{--}2},\n Pages = {55{--}77},\n url = {1993/js93.pdf},\n year = 1993\n}\n\n","author_short":["Jäger, G.","Stärk, R. F."],"key":"js93","id":"js93","bibbaseid":"jger-strk-thedefiningpowerofstratifiedandhierarchicallogicprograms-1993","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/1993/js93.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.116Z","downloads":0,"keywords":[],"search_terms":["defining","power","stratified","hierarchical","logic","programs","jäger","stärk"],"title":"The defining power of stratified and hierarchical logic programs","year":1993,"dataSources":["jFQMeatnEb8qn3qdH"]}