Towards a characterization of semi-stable models in the logic of here-and-there / von João Manuel Gomes Moura. 2009
Inhalt