%0 Conference Paper %1 conf/cade/ReynoldsVBTB18 %A Reynolds, Andrew %A Viswanathan, Arjun %A Barbosa, Haniel %A Tinelli, Cesare %A Barrett, Clark W. %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 591-608 %T Datatypes with Shared Selectors. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#ReynoldsVBTB18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/ReynoldsVBTB18, added-at = {2024-07-16T00:00:00.000+0200}, author = {Reynolds, Andrew and Viswanathan, Arjun and Barbosa, Haniel and Tinelli, Cesare and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/22e0d7bc8201678eeb22bafcd50c47962/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2018}, editor = {Galmiche, Didier and Schulz, Stephan and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-319-94205-6_39}, interhash = {ff62014b124a4cacffea34a3dfcaf943}, intrahash = {2e0d7bc8201678eeb22bafcd50c47962}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {591-608}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-22T07:23:33.000+0200}, title = {Datatypes with Shared Selectors.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#ReynoldsVBTB18}, volume = 10900, year = 2018 }