%0 Conference Paper %1 conf/pxtp/StumpRTLEOZ12 %A Stump, Aaron %A Reynolds, Andrew %A Tinelli, Cesare %A Laugesen, Austin %A III, Harley Eades %A Oliver, Corey %A Zhang, Ruoyu %B PxTP %D 2012 %E Pichardie, David %E Weber, Tjark %I CEUR-WS.org %K dblp %P 21-27 %T LFSC for SMT Proofs: Work in Progress. %U http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#StumpRTLEOZ12 %V 878

@inproceedings{conf/pxtp/StumpRTLEOZ12, added-at = {2023-03-10T00:00:00.000+0100}, author = {Stump, Aaron and Reynolds, Andrew and Tinelli, Cesare and Laugesen, Austin and III, Harley Eades and Oliver, Corey and Zhang, Ruoyu}, biburl = {https://www.bibsonomy.org/bibtex/2722613353ae4a2bc23b46d3ed385d73b/dblp}, booktitle = {PxTP}, crossref = {conf/pxtp/2012}, editor = {Pichardie, David and Weber, Tjark}, ee = {https://ceur-ws.org/Vol-878/paper1.pdf}, interhash = {671686efab58a318122d53936be46af1}, intrahash = {722613353ae4a2bc23b46d3ed385d73b}, keywords = {dblp}, pages = {21-27}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T09:46:14.000+0200}, title = {LFSC for SMT Proofs: Work in Progress.}, url = {http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#StumpRTLEOZ12}, volume = 878, year = 2012 }