{"_id":"fqtn2KK27Kc23HMW7","bibbaseid":"orgun-foundationsoflineartimelogicprogramming-1995","downloads":0,"creationDate":"2017-02-10T00:22:32.012Z","title":"Foundations of linear-time logic programming","author_short":["Orgun, M. A."],"year":1995,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]}],"title":"Foundations of linear-time logic programming","journal":"Int. J. Comput. Math.","volume":"58","number":"3-4","pages":"199–219","year":"1995","url":"https://doi.org/10.1080/00207169508804444","doi":"10.1080/00207169508804444","timestamp":"Mon, 16 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ijcm/Orgun95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Orgun, M. A."],"key":"DBLP:journals/ijcm/Orgun95","id":"DBLP:journals/ijcm/Orgun95","bibbaseid":"orgun-foundationsoflineartimelogicprogramming-1995","role":"author","urls":{"Paper":"https://doi.org/10.1080/00207169508804444"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["foundations","linear","time","logic","programming","orgun"],"keywords":[],"authorIDs":["589d07c721f364182b00000f"],"dataSources":["4JocmSptLqeD5K7hG"]}