%0 Conference Paper %1 conf/cade/SudaW12 %A Suda, Martin %A Weidenbach, Christoph %B IJCAR %D 2012 %E Gramlich, Bernhard %E Miller, Dale %E Sattler, Uli %I Springer %K dblp %P 537-543 %T A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#SudaW12 %V 7364 %@ 978-3-642-31364-6

@inproceedings{conf/cade/SudaW12, added-at = {2022-01-03T00:00:00.000+0100}, author = {Suda, Martin and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/26d97222d9c12db20dd75c627b5fa451d/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2012}, editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli}, ee = {https://doi.org/10.1007/978-3-642-31365-3_42}, interhash = {bf2656581da4d67ec01e6199b8afbd51}, intrahash = {6d97222d9c12db20dd75c627b5fa451d}, isbn = {978-3-642-31364-6}, keywords = {dblp}, pages = {537-543}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:52.000+0200}, title = {A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#SudaW12}, volume = 7364, year = 2012 }