@ARTICLE{San17,
  author = {Sanders, Sam},
  title = {{G}rilliot's trick in Nonstandard Analysis},
  journal = {Logical Methods in Computer Science},
  year = {2017},
  volume = {13},
  number = {4},
  month = Nov,
  doi = {10.23638/LMCS-13(4:23)2017},
  file = {San17.pdf:San17.pdf:PDF},
  keywords = {bib, cca},
  page = {23,21},
  url = {https://lmcs.episciences.org/4114}
}

{"_id":"2vzkCvnXFtyAbu6D2","bibbaseid":"sanders-grilliotstrickinnonstandardanalysis-2017","authorIDs":[],"author_short":["Sanders, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sanders"],"firstnames":["Sam"],"suffixes":[]}],"title":"Grilliot's trick in Nonstandard Analysis","journal":"Logical Methods in Computer Science","year":"2017","volume":"13","number":"4","doi":"10.23638/LMCS-13(4:23)2017","file":"San17.pdf:San17.pdf:PDF","keywords":"bib, cca","page":"23,21","url":"https://lmcs.episciences.org/4114","bibtex":"@ARTICLE{San17,\r\n author = {Sanders, Sam},\r\n title = {{G}rilliot's trick in Nonstandard Analysis},\r\n journal = {Logical Methods in Computer Science},\r\n year = {2017},\r\n volume = {13},\r\n number = {4},\r\n month = Nov,\r\n doi = {10.23638/LMCS-13(4:23)2017},\r\n file = {San17.pdf:San17.pdf:PDF},\r\n keywords = {bib, cca},\r\n page = {23,21},\r\n url = {https://lmcs.episciences.org/4114}\r\n}\r\n\r\n","author_short":["Sanders, S."],"key":"San17","id":"San17","bibbaseid":"sanders-grilliotstrickinnonstandardanalysis-2017","role":"author","urls":{"Paper":"https://lmcs.episciences.org/4114"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.028Z","downloads":0,"keywords":["bib","cca"],"search_terms":["grilliot","trick","nonstandard","analysis","sanders"],"title":"Grilliot's trick in Nonstandard Analysis","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}