A simple fixed point characterizaton of three-valued stable model semantics

Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
Bok · Engelsk · 1991

Utgitt	Linköping : Institutionen för datavetenskap, Universitetet och Tekniska högskolan , 1991
Omfang	9 s.