Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference

Fuchs. "Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference." International Joint Conference on Artificial Intelligence, 1999.

[Fuchs. "Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/fuchs1999ijcai-lemma/)

@inproceedings{fuchs1999ijcai-lemma,
  title     = {{Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference}},
  author    = {Fuchs, Marc},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {4-9},
  url       = {https://mlanthology.org/ijcai/1999/fuchs1999ijcai-lemma/}
}