%0 Conference Paper %1 conf/lpar/Gilbert15 %A Gilbert, Frédéric %B LPAR (short papers) %D 2015 %E Fehnker, Ansgar %E McIver, Annabelle %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K dblp %P 81-93 %T A Lightweight Double-negation Translation. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2015s.html#Gilbert15 %V 35

@inproceedings{conf/lpar/Gilbert15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Gilbert, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/2d0b7b6a79c02c7720f6b7c87d97c8615/dblp}, booktitle = {LPAR (short papers)}, crossref = {conf/lpar/2015s}, editor = {Fehnker, Ansgar and McIver, Annabelle and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/vbs5}, interhash = {b9ba23be8bc3e0cbbf7b4954c08844bf}, intrahash = {d0b7b6a79c02c7720f6b7c87d97c8615}, keywords = {dblp}, pages = {81-93}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:17.000+0200}, title = {A Lightweight Double-negation Translation.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2015s.html#Gilbert15}, volume = 35, year = 2015 }