%0 Conference Paper %1 journals/corr/abs-2107-02351 %A Bonacina, Maria Paola %B PxTP %D 2021 %E Keller, Chantal %E Fleury, Mathias %K dblp %P 1-4 %T Proof Generation in CDSAT. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#abs-2107-02351 %V 336

@inproceedings{journals/corr/abs-2107-02351, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bonacina, Maria Paola}, biburl = {https://www.bibsonomy.org/bibtex/26e29a2fdb3b4f4448cc91bac6aa0e555/dblp}, booktitle = {PxTP}, crossref = {journals/corr/abs-2107-01544}, editor = {Keller, Chantal and Fleury, Mathias}, ee = {https://www.wikidata.org/entity/Q118123009}, interhash = {a7999be69d42431d5a0bc1a380b40d27}, intrahash = {6e29a2fdb3b4f4448cc91bac6aa0e555}, keywords = {dblp}, pages = {1-4}, series = {EPTCS}, timestamp = {2024-04-09T09:30:36.000+0200}, title = {Proof Generation in CDSAT.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#abs-2107-02351}, volume = 336, year = 2021 }