University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions

Thomas Eiter and Georg Gottlob

info

journal	J. Log. Program.
number	2
pages	167-178
volume	33
year	1997

links

related pages

people

Random Image

Random Image

Random Image