Title: Stable models for theories with refutation rules
Authors: Mircheva, Marion # ×
Issue Date: 1994
Host Document: Proc. of AIMSA'94 pages:38-50
Conference: AIMSA'94 location:Sofia
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.