@inproceedings{Fuchs98:3,
  title = {Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration},
  author = {Marc Fuchs},
  year = {1998},
  tags = {laziness, rule-based},
  researchr = {https://researchr.org/publication/Fuchs98%3A3},
  cites = {0},
  citedby = {0},
  pages = {346-350},
  booktitle = {ECAI},
}