DMCA

A Logic for Reasoning about Well-Founded Semantics: Preliminary Report

by Pedro Cabalar , Sergei Odintsov , David Pearce