%0 Conference Paper %1 conf/tableaux/WolfD99 %A Wolf, Andreas %A Draeger, Joachim %B TABLEAUX %D 1999 %E Murray, Neil V. %I Springer %K dblp %P 319-323 %T Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux99.html#WolfD99 %V 1617 %@ 3-540-66086-0

@inproceedings{conf/tableaux/WolfD99, added-at = {2018-11-02T00:00:00.000+0100}, author = {Wolf, Andreas and Draeger, Joachim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fb7fd4cef376aab1a755af2114c96fa2/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/1999}, editor = {Murray, Neil V.}, ee = {https://doi.org/10.1007/3-540-48754-9_28}, interhash = {d972c1a1906c5d146dc6f37648a9e236}, intrahash = {fb7fd4cef376aab1a755af2114c96fa2}, isbn = {3-540-66086-0}, keywords = {dblp}, pages = {319-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:57:05.000+0200}, title = {Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux99.html#WolfD99}, volume = 1617, year = 1999 }