George Antoniou3
Keywords logic programming - knowledge representation - nonmonotonic reasoning
References secured to subscribers.