%0 Journal Article %1 journals/amai/OkushiG04 %A Okushi, Fumiaki %A Gelder, Allen Van %D 2004 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 373-402 %T Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. %U http://dblp.uni-trier.de/db/journals/amai/amai40.html#OkushiG04 %V 40

@article{journals/amai/OkushiG04, added-at = {2004-02-05T00:00:00.000+0100}, author = {Okushi, Fumiaki and Gelder, Allen Van}, biburl = {https://www.bibsonomy.org/bibtex/234c0735c1837bd3e05150492c34e5f1a/dblp}, date = {2004-02-05}, description = {dblp}, ee = {http://dx.doi.org/10.1023/B:AMAI.0000012873.60775.ba}, interhash = {5b16e971e7ea9f93825cfd04df9ec172}, intrahash = {34c0735c1837bd3e05150492c34e5f1a}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {373-402}, timestamp = {2004-02-05T00:00:00.000+0100}, title = {Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai40.html#OkushiG04}, volume = 40, year = 2004 }