@article{journals/jar/KaminskiS14,
  added-at = {2014-03-17T00:00:00.000+0100},
  author = {Kaminski, Mark and Smolka, Gert},
  biburl = {http://www.bibsonomy.org/bibtex/2a37286f1c0233787ce809508689ab6b8/dblp},
  ee = {http://dx.doi.org/10.1007/s10817-013-9294-5},
  interhash = {eeddaef63ed6d48590e7e59409a10465},
  intrahash = {a37286f1c0233787ce809508689ab6b8},
  journal = {J. Autom. Reasoning},
  keywords = {dblp},
  number = 4,
  pages = {407-450},
  timestamp = {2015-06-18T07:49:35.000+0200},
  title = {A Goal-Directed Decision Procedure for Hybrid PDL.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar52.html#KaminskiS14},
  volume = 52,
  year = 2014
}

{"_id":"qa7cZ8BDMdsKqGcxP","bibbaseid":"kaminski-smolka-agoaldirecteddecisionprocedureforhybridpdl-2014","downloads":0,"creationDate":"2016-04-12T13:16:32.893Z","title":"A Goal-Directed Decision Procedure for Hybrid PDL.","author_short":["Kaminski, M.","Smolka, G."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-03-17T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Gert"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2a37286f1c0233787ce809508689ab6b8/dblp","ee":"http://dx.doi.org/10.1007/s10817-013-9294-5","interhash":"eeddaef63ed6d48590e7e59409a10465","intrahash":"a37286f1c0233787ce809508689ab6b8","journal":"J. Autom. Reasoning","keywords":"dblp","number":"4","pages":"407-450","timestamp":"2015-06-18T07:49:35.000+0200","title":"A Goal-Directed Decision Procedure for Hybrid PDL.","url":"http://dblp.uni-trier.de/db/journals/jar/jar52.html#KaminskiS14","volume":"52","year":"2014","bibtex":"@article{journals/jar/KaminskiS14,\n added-at = {2014-03-17T00:00:00.000+0100},\n author = {Kaminski, Mark and Smolka, Gert},\n biburl = {http://www.bibsonomy.org/bibtex/2a37286f1c0233787ce809508689ab6b8/dblp},\n ee = {http://dx.doi.org/10.1007/s10817-013-9294-5},\n interhash = {eeddaef63ed6d48590e7e59409a10465},\n intrahash = {a37286f1c0233787ce809508689ab6b8},\n journal = {J. Autom. Reasoning},\n keywords = {dblp},\n number = 4,\n pages = {407-450},\n timestamp = {2015-06-18T07:49:35.000+0200},\n title = {A Goal-Directed Decision Procedure for Hybrid PDL.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar52.html#KaminskiS14},\n volume = 52,\n year = 2014\n}\n\n","author_short":["Kaminski, M.","Smolka, G."],"key":"journals/jar/KaminskiS14","id":"journals/jar/KaminskiS14","bibbaseid":"kaminski-smolka-agoaldirecteddecisionprocedureforhybridpdl-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10817-013-9294-5","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar52.html#KaminskiS14"},"keyword":["dblp"],"downloads":0},"search_terms":["goal","directed","decision","procedure","hybrid","pdl","kaminski","smolka"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}