Schreye. Justification semantics: a unifying framework for the semantics of logic programs (1993)

by M Denecker, D De
Venue:In LPNMR