@inproceedings{GCAI2020:Property_Preserving_Embedding_of,
  author    = {Julian Parsert and Stephanie Autherith and Cezary Kaliszyk},
  title     = {Property Preserving Embedding of First-order Logic},
  booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
  editor    = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
  series    = {EPiC Series in Computing},
  volume    = {72},
  pages     = {70--82},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cwgq},
  doi       = {10.29007/18t1}}