%0 Conference Paper %1 conf/cade/FuchsW98 %A Fuchs, Marc %A Wolf, Andreas %B CADE %D 1998 %E Kirchner, Claude %E Kirchner, Hélène %I Springer %K dblp %P 42-46 %T System Description: Cooperation in Model Elimination: CPTHEO. %U http://dblp.uni-trier.de/db/conf/cade/cade98.html#FuchsW98 %V 1421 %@ 3-540-64675-2

@inproceedings{conf/cade/FuchsW98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Fuchs, Marc and Wolf, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/255e4bc1ce35f075bd4965198439b415c/dblp}, booktitle = {CADE}, crossref = {conf/cade/1998}, editor = {Kirchner, Claude and Kirchner, Hélène}, ee = {https://doi.org/10.1007/BFb0054245}, interhash = {ff3c1ccf07210bd78bcdfc45c3c49188}, intrahash = {55e4bc1ce35f075bd4965198439b415c}, isbn = {3-540-64675-2}, keywords = {dblp}, pages = {42-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {System Description: Cooperation in Model Elimination: CPTHEO.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade98.html#FuchsW98}, volume = 1421, year = 1998 }