%0 Conference Paper %1 conf/cade/Libal22 %A Libal, Tomer %B ARQNL@IJCAR %D 2022 %E Benzmüller, Christoph %E Otten, Jens %I CEUR-WS.org %K dblp %P 1-10 %T Do Lawyers Use Automated Reasoning? (invited paper). %U http://dblp.uni-trier.de/db/conf/cade/arqnl2022.html#Libal22 %V 3326

@inproceedings{conf/cade/Libal22, added-at = {2023-03-15T00:00:00.000+0100}, author = {Libal, Tomer}, biburl = {https://www.bibsonomy.org/bibtex/23cd5568160397e39f6fe386d011eed54/dblp}, booktitle = {ARQNL@IJCAR}, crossref = {conf/cade/2022arqnl}, editor = {Benzmüller, Christoph and Otten, Jens}, ee = {https://ceur-ws.org/Vol-3326/ARQNL2022_invited1.pdf}, interhash = {53e288e0a5f783705a545d24cd839f76}, intrahash = {3cd5568160397e39f6fe386d011eed54}, keywords = {dblp}, pages = {1-10}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Do Lawyers Use Automated Reasoning? (invited paper).}, url = {http://dblp.uni-trier.de/db/conf/cade/arqnl2022.html#Libal22}, volume = 3326, year = 2022 }