@inproceedings{0d6b78ab81f24af5864d9dc1f615fbcc,
title = "A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses",
keywords = "expressive power, modularity, propositional satisfiability, stable models, supported models, expressive power, modularity, propositional satisfiability, stable models, supported models, expressive power, modularity, propositional satisfiability, stable models, supported models",
author = "Tomi Janhunen",
year = "2003",
language = "English",
pages = "166--180",
editor = "{de Vos}, Marina and Alessandro Provetti",
booktitle = "Answer Set Programming, Messina, Sisilia, Italia, 26.-28.9.2003",
publisher = "CEUR",
address = "Germany",
}