%0 Generic %1 conference/els/2019/RW-ELS-2019 %A Raskin, Michael %A Welzel, Christoph %B European Lisp Symposium %D 2019 %K talk %T Working with first-order proofs and provers. %U https://european-lisp-symposium.org/2019/index.html %V ELS-2019

@conference{conference/els/2019/RW-ELS-2019, added-at = {2019-06-26T22:53:35.000+0200}, author = {Raskin, Michael and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2c215da1d5a5964252d3433a6cd28213e/paves}, booktitle = {European Lisp Symposium}, ee = {http://arxiv.org/abs/1904.01079}, interhash = {d85fbd980f4819e6aec9b7d51fefec0b}, intrahash = {c215da1d5a5964252d3433a6cd28213e}, keywords = {talk}, note = {https://european-lisp-symposium.org/static/2019/raskin.pdf}, timestamp = {2023-09-24T19:45:40.000+0200}, title = {Working with first-order proofs and provers.}, url = {https://european-lisp-symposium.org/2019/index.html}, volume = {ELS-2019}, year = 2019 }