@inbook {6658a925c18d431c856f4275eb34333c,
	title = {Decidability and Implementation of Parametrized Logic Programs},
	booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013},
	year = {2013},
	note = {<p>n/a</p>
},
	month = {1},
	pages = {361{\textendash}373},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	abstract = {<p>n/a</p>
},
	isbn = {978-3-642-40564-8},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jja/files/lpnmr13a.pdf},
	author = {Gon{\c c}alves, Ricardo and Alferes, Jos{\'e} J{\'u}lio}
}
