@article{DBLP:journals/aicom/LudwigH10,
  author       = {Michel Ludwig and
                  Ullrich Hustadt},
  title        = {Implementing a fair monodic temporal logic prover},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {69--96},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0457},
  doi          = {10.3233/AIC-2010-0457},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/LudwigH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ePi5WjQ96mTCfa9Ak","bibbaseid":"ludwig-hustadt-implementingafairmonodictemporallogicprover-2010","author_short":["Ludwig, M.","Hustadt, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michel"],"propositions":[],"lastnames":["Ludwig"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"title":"Implementing a fair monodic temporal logic prover","journal":"AI Commun.","volume":"23","number":"2-3","pages":"69–96","year":"2010","url":"https://doi.org/10.3233/AIC-2010-0457","doi":"10.3233/AIC-2010-0457","timestamp":"Thu, 18 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/aicom/LudwigH10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/aicom/LudwigH10,\n author = {Michel Ludwig and\n Ullrich Hustadt},\n title = {Implementing a fair monodic temporal logic prover},\n journal = {{AI} Commun.},\n volume = {23},\n number = {2-3},\n pages = {69--96},\n year = {2010},\n url = {https://doi.org/10.3233/AIC-2010-0457},\n doi = {10.3233/AIC-2010-0457},\n timestamp = {Thu, 18 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/aicom/LudwigH10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ludwig, M.","Hustadt, U."],"key":"DBLP:journals/aicom/LudwigH10","id":"DBLP:journals/aicom/LudwigH10","bibbaseid":"ludwig-hustadt-implementingafairmonodictemporallogicprover-2010","role":"author","urls":{"Paper":"https://doi.org/10.3233/AIC-2010-0457"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["implementing","fair","monodic","temporal","logic","prover","ludwig","hustadt"],"title":"Implementing a fair monodic temporal logic prover","year":2010}