%0 Conference Paper %1 conf/els/RaskinW19 %A Raskin, Michael A. %A Welzel, Christoph %B ELS %D 2019 %E Neuss, Nicolas %I ELSAA %K dblp %P 42-45 %T Working with First Order Proofs and Provers. %U http://dblp.uni-trier.de/db/conf/els/els2019.html#RaskinW19 %@ 978-2-9557474-3-8

@inproceedings{conf/els/RaskinW19, added-at = {2019-11-13T00:00:00.000+0100}, author = {Raskin, Michael A. and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2edcc3ff175904c7d8997c8cd00657230/dblp}, booktitle = {ELS}, crossref = {conf/els/2019}, editor = {Neuss, Nicolas}, ee = {https://doi.org/10.5281/zenodo.2633990}, interhash = {d85fbd980f4819e6aec9b7d51fefec0b}, intrahash = {edcc3ff175904c7d8997c8cd00657230}, isbn = {978-2-9557474-3-8}, keywords = {dblp}, pages = {42-45}, publisher = {ELSAA}, timestamp = {2019-11-14T11:42:00.000+0100}, title = {Working with First Order Proofs and Provers.}, url = {http://dblp.uni-trier.de/db/conf/els/els2019.html#RaskinW19}, year = 2019 }