@article{journals/corr/abs-1806-09392,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Joosten, Sebastiaan J. C.},
  biburl = {https://www.bibsonomy.org/bibtex/257de442c2e994456355998197532d193/dblp},
  ee = {http://arxiv.org/abs/1806.09392},
  interhash = {3135ac5a3c7ea9903e26b476a77da0d6},
  intrahash = {57de442c2e994456355998197532d193},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T11:50:23.000+0200},
  title = {Finding models through graph saturation.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1806.html#abs-1806-09392},
  volume = {abs/1806.09392},
  year = 2018
}

{"_id":"i3sPo7qir2Wrz4B53","bibbaseid":"joosten-findingmodelsthroughgraphsaturation-2018","authorIDs":[],"author_short":["Joosten, S. J. C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/257de442c2e994456355998197532d193/dblp","ee":"http://arxiv.org/abs/1806.09392","interhash":"3135ac5a3c7ea9903e26b476a77da0d6","intrahash":"57de442c2e994456355998197532d193","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T11:50:23.000+0200","title":"Finding models through graph saturation.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1806.html#abs-1806-09392","volume":"abs/1806.09392","year":"2018","bibtex":"@article{journals/corr/abs-1806-09392,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Joosten, Sebastiaan J. C.},\n biburl = {https://www.bibsonomy.org/bibtex/257de442c2e994456355998197532d193/dblp},\n ee = {http://arxiv.org/abs/1806.09392},\n interhash = {3135ac5a3c7ea9903e26b476a77da0d6},\n intrahash = {57de442c2e994456355998197532d193},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T11:50:23.000+0200},\n title = {Finding models through graph saturation.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1806.html#abs-1806-09392},\n volume = {abs/1806.09392},\n year = 2018\n}\n\n","author_short":["Joosten, S. J. C."],"key":"journals/corr/abs-1806-09392","id":"journals/corr/abs-1806-09392","bibbaseid":"joosten-findingmodelsthroughgraphsaturation-2018","role":"author","urls":{"Link":"http://arxiv.org/abs/1806.09392","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1806.html#abs-1806-09392"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.265Z","downloads":0,"keywords":["dblp"],"search_terms":["finding","models","through","graph","saturation","joosten"],"title":"Finding models through graph saturation.","year":2018,"dataSources":["iRXfhnWYb7pRvaQMx"]}