Declarative Problem-Solving Using the DLV System

Cached

Download Links

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