Omega-Restricted Logic Programs

Reference:

Tommi Syrjänen. Omega-restricted logic programs. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 267–279, Vienna, Austria, September 2001. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{nmr01:syrjanen,
    address = {Vienna, Austria},
    author = {Tommi Syrj\"anen},
    booktitle = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
    month = {September},
    pages = {267--279},
    publisher = {{Springer-Verlag}},
    title = {Omega-Restricted Logic Programs},
    year = {2001},
}