%0 Conference Paper %1 conf/cade/ReisNH20 %A Reis, Giselle %A Naeem, Zan %A Hashim, Mohammed %B IJCAR (2) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 480-488 %T Sequoia: A Playground for Logicians - (System Description). %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-2.html#ReisNH20 %V 12167 %@ 978-3-030-51054-1

@inproceedings{conf/cade/ReisNH20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Reis, Giselle and Naeem, Zan and Hashim, Mohammed}, biburl = {https://www.bibsonomy.org/bibtex/249fde12518a0592bd43e80ff5af0f6eb/dblp}, booktitle = {IJCAR (2)}, crossref = {conf/cade/2020-2}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51054-1_32}, interhash = {5ec81e7db986f68067babd5a8b65c33e}, intrahash = {49fde12518a0592bd43e80ff5af0f6eb}, isbn = {978-3-030-51054-1}, keywords = {dblp}, pages = {480-488}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-04T12:03:25.000+0200}, title = {Sequoia: A Playground for Logicians - (System Description).}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-2.html#ReisNH20}, volume = 12167, year = 2020 }