From Above and from Below: Approximating Stable Models

@inproceedings{Kalinski1994FromAA,
  title={From Above and from Below: Approximating Stable Models},
  author={J{\"u}rgen Kalinski},
  booktitle={GI Jahrestagung},
  year={1994}
}