1
Published 2013
Table of Contents: '; ... -- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics -- An Application of ASP...
Get full text
Electronic