ML Anthology

Stable Model Checking Made Easy

Christoph Koch, Nicola Leone
IJCAI 1999 pp. 70-75
/ijcai/1999/koch1999ijcai-stable/
PDF IJCAI Semantic Scholar

Cite

Text

Koch and Leone. "Stable Model Checking Made Easy." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Koch and Leone. "Stable Model Checking Made Easy." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/koch1999ijcai-stable/)

BibTeX

@inproceedings{koch1999ijcai-stable,
  title     = {{Stable Model Checking Made Easy}},
  author    = {Koch, Christoph and Leone, Nicola},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {70-75},
  url       = {https://mlanthology.org/ijcai/1999/koch1999ijcai-stable/}
}