Declarative Problem-Solving Using the DLV System

Cached

Download Links

by Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer
Citations:70 - 27 self