@inproceedings{63e1b356649a451b9ce9ce02885e1496,
title = "Omega-Restricted Logic Programs",
keywords = "NEXP-completeness, omega-restricted logic programs, stable models, NEXP-completeness, omega-restricted logic programs, stable models, NEXP-completeness, omega-restricted logic programs, stable models",
author = "Tommi Syrj{\"a}nen",
year = "2001",
language = "English",
pages = "267--279",
editor = "T. Eiter and W. Faber and M. Truszczynski",
booktitle = "6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 17-19, 2001",
publisher = "Springer",
address = "Germany",
}